Awesome Open Source

Programming Languages

Search results for python static analysis

static-analysis x

186 search results found

Static Analysis meets Large Language Models

Ropdissector ⭐ 27

A framework for static analysis of ROP exploits and programs

Bin_analyzer ⭐ 25

Toy project for static analysis of ELF binaries

Paranoid Deobfuscator ⭐ 25

Deobfuscate "paranoid" protected apps

Binaryninja Msp430 ⭐ 24

msp430 Architecture plugin for Binary Ninja

AUSERA: Automated Security Vulnerability Detection for Android Apps

Pydistcheck ⭐ 24

Linter that finds portability issues in Python package distributions (wheels and sdists).

Codeclimate Cppcheck ⭐ 23

Code Climate Engine for Cppcheck

Papermachete ⭐ 23

A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.

Inspect4py ⭐ 23

Static code analysis package for Python repositories

Staticanalysis ⭐ 22

GitHub action that runs static analysis tools on your codebase and creates PR comments for any issues found. Currently supported languages are C++ and Python.

Wp_hunter ⭐ 22

Static analysis of wordpress plugins

Modular static malicious JavaScript detection system

Read-only mirror of the Klever Git repository

StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications

Veniq uses Machine Learning to analyze source code, find possible refactorings, and suggest those that seem optimal

Phriky Units ⭐ 18

Phriky Units - Physical units inconsistency detection tool for C++, especially for ROS

Hairball ⭐ 18

Hairball is a plugin-able framework useful for static analysis of Scratch projects.

Invectio ⭐ 18

Statically analyze sources and extract information about called or exported library functions in Python applications

A framework for building Fortran code analysis tools in Python.

Devskim Sublime Plugin ⭐ 15

DEPRECATED -- DevSkim plugin for Sublime Text 3.

Angr Static Analysis For Vuzzer64 ⭐ 14

Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool

Huskyci Dashboard ⭐ 14

Frontend to display data from huskyCI analyses

Peanalysis ⭐ 14

Python script to parse PE header information

Cppcheck Configs ⭐ 14

Configuration files that allow cppcheck to provide better static analysis results

Cppcheck ⭐ 14

Docker image for cppcheck

Pyc2bytecode ⭐ 14

A Python Bytecode Disassembler helping reverse engineers in dissecting Python binaries by disassembling and analyzing the compiled python byte-code(.pyc) files across all python versions (including Python 3.10.*)

Data Engineering Mta Turnstile ⭐ 14

Data Engineering - Metropolitan Transportation Authority (MTA) Subway Data Analysis

Did My Code Execute - C/C++ source code level tracer

Openscanhub ⭐ 13

OpenScanHub is a service for static and dynamic analysis.

Codeql Agent Docker ⭐ 13

💾 The CodeQL for Docker. It supports static application security testing (SAST).

Binoculars ⭐ 13

Plugin for binary ninja to centralize features useful in static analysis.

Static Malware Analyses ⭐ 13

A open source Python script to perform static analysis on a Malware Binary File (portable executable).

Typeevalpy ⭐ 12

A Micro-benchmarking Framework for Python Type Inference Tools

Fortran static analysis tool written in pure Python

Easy_sast ⭐ 12

A docker container that integrates static analysis tools into your project

Smartmuv ⭐ 12

An EVM-compatible Solidity Smart Contract Storage/Slot Analyzer and Data Extractor.

A static analyzer for Solidity, built upon regex and ASTs.

Simple linear static analysis of 3D frames and trusses

Ruff Check ⭐ 12

github action to run ruff on your repo

Inline Plz Bot ⭐ 11

Web service version of https://github.com/guykisel/inline-plz - lints your Pull Requests and comments inline on the diffs!

Simplified interface for syntax trees and program models.

Pynblint ⭐ 11

Pynblint is a linter for Python Jupyter notebooks.

Dslinter ⭐ 10

`dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: TensorFlow, PyTorch, Scikit-Learn, Pandas and NumPy.

Headergen ⭐ 10

HeaderGen annotates Jupyter notebooks using static analysis. Improves PyCG's call graph analysis by supporting external libraries and flow-sensitivity.

Malware Detection In Pe Files Using Machine Learning ⭐ 10

Detecting Malware in PE files

Simplesecurity ⭐ 10

Combine multiple popular python security tools and generate reports or output into different formats

A python script for easy static analysis and automatic signature generation of malware.

Imchecker ⭐ 9

An automatic API misuse checker for C programs!

Leakage Analysis ⭐ 9

A static analysis tool to detect test data leakage in Python notebooks

Viper Research ⭐ 9

Notes of researching every commit of Viper-framework (static analysis of malware)

Semgrep Rules ⭐ 9

semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.

Python-like syntax for Rust-like performance

Soliditydesignpatternanalyzer ⭐ 9

A tool for design pattern recognition on blockchain through static code analysis

Androguard ⭐ 9

Fork of https://github.com/androguard/androguard w/ bug fixes tests

Apkinspector ⭐ 9

apkInspector is a tool designed to provide detailed insights into the zip structure of APK files, offering the capability to extract content and decode the AndroidManifest.xml file.

Hidenoseek ⭐ 9

Static data flow-based analysis of JavaScript files to detect syntactic clones

Officemalgrabber ⭐ 9

Static Analysis Tool for Microsoft Office Documents

Pipx In Pipx ⭐ 9

Bootstrap your pipx with pipx.

Processcdb ⭐ 8

Tool for providing static analysis of items in Clang's compilation database.

Too less variation - A tool to discover code duplication in various languages

Check if a program only uses a subset of the Python language.

Europython 2018 ⭐ 8

Materials for "Exploring the Python AST ecosystem"

Nb Autodoc ⭐ 8

Python API documentation tool supporting the modern PEPs and typing features.

LibSA4Py: Light-weight static analysis for extracting type hints and features

Swiss Army Knife SAST Toolkit

Surfactant ⭐ 7

Modular framework for SBOM generation that gathers file information and analyzes dependencies

Horusec Examples Vulnerabilities ⭐ 7

Horusec is an open source tool that improves identification of vulnerabilities in your project with just one command.

Caboto, the Kubernetes semantic analysis tool

Firmwaredroid ⭐ 7

FirmwareDroid is an analysis framework for Android firmware.

Docker Cat ⭐ 6

Docker CAT is a quality analysis platform including CNES plugins and configurations.

Localizer ⭐ 6

A simple tool to find functions which can be made static

4depcheck ⭐ 6

a tool to analyze and detect vulnerable dependencies/libraries from different programming languages

Codepropertygraph ⭐ 6

A Python implementation of a language-agnostic Code Property Graph

💫 Chasten Uses XML and XPATH to Check a Python Program's AST for Specified Patterns!

Meta Shift ⭐ 6

Shift-left testing for the Yocto project

Circuitsim ⭐ 6

Implementing a full-on electronic circuit simulator, studying the whole concept and physics behind it!

Nginx Static Analysis ⭐ 6

Parse Nginx configurations in a clear manner for debugging purposes

Software2.0 Studytools ⭐ 6

Tools to study Software 2.0

Static Analysis For Support Match ⭐ 6

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Yaml Shellcheck ⭐ 6

Wrapper script to run shellcheck on YAML CI-config files

Dockerfiles ⭐ 6

Coffeeconnection ⭐ 5

Connect people for a coffee using slack

eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.

Program Graphs ⭐ 5

A python library to build graphs for programs written in different programming languages.

Prisma Cloud Pipeline ⭐ 5

Export Prisma Cloud container findings to a CI pipeline, and identify un-triaged findings.

Ui Checker ⭐ 5

End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec

Python library to infer types for AST nodes. Make the most powerful Python linters and formatters!

Iam Sarif Report ⭐ 5

Validate your IAM Policies and SCPs with AWS Policy Validator, and convert those results into SARIF documents for reporting.

A binary analysis framework

MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis

Related Searches

Python Django (28,897)

Python Machine Learning (20,195)

Python Dataset (14,792)

Python Flask (14,408)

Python Docker (13,757)

Python Tensorflow (13,736)

Python Command Line (13,351)

Python Deep Learning (13,092)

Python Jupyter Notebook (12,976)

Python Network (11,495)

101-186 of 186 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.