The Wayback Machine - https://web.archive.org/web/20221128214652/https://github.com/topics/program-analysis

#

program-analysis

Here are 172 public repositories matching this topic...

facebook / pyre-check

Performant type-checking for python.

python security typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check

Updated Nov 28, 2022
OCaml

Detect-It-Easy

horsicq / Detect-It-Easy

Sponsor

Program for determining types of files for Windows, Linux and MacOS.

Updated Nov 24, 2022
JavaScript

trailofbits / manticore

Symbolic execution tool

python testing security emulation ethereum blockchain symbolic-execution z3 binary-analysis program-analysis smt

Updated Nov 4, 2022
Python

mythril

ConsenSys / mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

security ethereum smart-contracts blockchain symbolic-execution solidity program-analysis security-analysis

Updated Nov 23, 2022
Python

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

emulator reverse-engineering symbolic-execution deobfuscation dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis lifter binary-translation

Updated Nov 26, 2022
C++

python-security / pyt

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

python flask security static-code-analysis static-analysis python3 abstract-syntax control-flow-graph dataflow program-analysis taint-analysis fixed-point abstract-syntax-tree taint pyt fixed-point-analysis dataflow-analysis

Updated Dec 25, 2020
Python

BinaryAnalysisPlatform / bap

Binary Analysis Platform

emulator security arm mips static-analysis ocaml reverse-engineering disassembler symbolic-execution bap x86 dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis powerpc program-verification lifter

Updated Nov 26, 2022
OCaml

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

static-analysis program-analysis software-verification abstract-interpretation

Updated Jun 23, 2022
C++

rizin

rizinorg / rizin

Sponsor

UNIX-like reverse engineering framework and command-line toolset.

debugging security reverse-engineering program-analysis exploitation

Updated Nov 28, 2022
C

DIE-engine

horsicq / DIE-engine

Sponsor

DIE engine

entropy reverse-engineering signature disassembler elf binary-analysis program-analysis hacktoberfest yara unpacker hacktoberfest2021

Updated Nov 28, 2022
C++

Tencent / CodeAnalysis

Static Code Analysis - 静态代码分析

code-analysis code-review code-quality program-analysis python37 code-quality-analyzer

Updated Nov 28, 2022
Python

JonathanSalwan / VMProtect-devirtualization

Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.

symbolic-execution deobfuscation program-analysis llvm-ir vmprotect

Updated Jun 11, 2022
Roff

fkie-cad / cwe_checker

cwe_checker finds vulnerable patterns in binary executables

security reverse-engineering static-analyzer binary-analysis program-analysis security-scanner cwe vulnerability-scanner ghidra cwe-checker

Updated Nov 28, 2022
Rust

secure-software-engineering / phasar

A LLVM-based static analysis framework.

c cpp llvm static-analysis program-analysis data-flow-analysis

Updated Nov 27, 2022
C++

pascal-lab / Tai-e-assignments

Tai-e assignments for static program analysis

java education static-analysis program-analysis

Updated Nov 27, 2022
Java

angr / angr-management

The official angr GUI.

program-analysis hacktoberfest angr

Updated Nov 28, 2022
Python

wala / WALA

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

javascript android java static-code-analysis static-analysis callgraph program-analysis pointer-analysis slicing dataflow-analysis

Updated Nov 26, 2022
Java

falconre / falcon

Binary Analysis Framework in Rust

rust binary-analysis program-analysis data-flow-analysis

Updated Jun 16, 2022
Rust

returntocorp / semgrep-rules

Semgrep rules registry

security static-analysis program-analysis security-scanner grep-like semgrep semgrep-rules semgrep-registry

Updated Nov 28, 2022
HCL

ltcmelo / psychec

A compiler frontend for the C programming language

c parser parsing compiler static-analysis program-analysis type-inference parsing-library compiler-frontend c-language clanguage language-semantics

Updated Jul 23, 2022
C++

Improve this page

Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."