Movatterモバイル変換

Skip to content

#

program-analysis

Here are 246 public repositories matching this topic...

Language:All

Filter by language

All246 Java55 Python46 C++38 C23 OCaml13 JavaScript6 Rust6 Scala6 Haskell5 HTML4

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

x64dbg

x64dbg /x64dbg

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

windows debugger debugging security x64 x86-64 reverse-engineering disassembler hacking cybersecurity x86 dynamic-analysis ctf malware-analysis binary-analysis program-analysis offensive-security security-tools oscp exploit-development

UpdatedJul 14, 2025
C++

Detect-It-Easy

horsicq /Detect-It-Easy

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

debugger detect packer entropy scanner static-analysis reverse-engineering disassembler detector mach-o elf malware-analysis binary-analysis program-analysis macho malware-research pentest hacktoberfest unpacker hacktoberfest2023

UpdatedJul 18, 2025
JavaScript

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

UpdatedJul 18, 2025
OCaml

mythril

ConsenSysDiligence /mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

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

UpdatedJun 9, 2025
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

UpdatedMay 25, 2025
C++

trailofbits /manticore

Symbolic execution tool

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

UpdatedSep 15, 2023
Python

NASA-SW-VnV /ikos

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

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

UpdatedApr 24, 2025
C++

rizin

rizinorg /rizin

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

debugging security reverse-engineering program-analysis exploitation

UpdatedJul 18, 2025
C

DIE-engine

horsicq /DIE-engine

DIE engine

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

UpdatedJul 18, 2025
C++

google /bindiff

Quickly find differences and similarities in disassembled code

java c-plus-plus reverse-engineering ida-pro program-analysis diffing ida-plugin bindiff binexport program-differencing vxsig

UpdatedJul 17, 2025
Java

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

UpdatedDec 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

UpdatedApr 30, 2025
OCaml

Tencent /CodeAnalysis

Static Code Analysis - 静态代码分析

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

UpdatedJul 17, 2025
Python

JPlag

jplag /JPlag

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

computer-science education plagiarism-prevention learn-to-code program-analysis cs-education plagiarism online-learning plagiarism-checker plagiarism-detection plagiarism-checking source-code-analysis code-similarity plagiarism-detector academic-dishonesty plagiarism-check source-code-plagiarism programming-education collusion-detection software-plagiarism

UpdatedJul 18, 2025
Java

jar-analyzer /jar-analyzer

Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

bytecode static-analysis java-decompiler jar java-bytecode vulnerability program-analysis java-gui java-security web-vulnerability java-debugger java-asm java-vulnerability

UpdatedJul 18, 2025
Java

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

UpdatedJun 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

UpdatedApr 10, 2025
Rust

pascal-lab /Tai-e-assignments

Tai-e assignments for static program analysis

java education static-analysis program-analysis

UpdatedNov 27, 2022
Java

angr /angr-management

The official angr GUI.

program-analysis hacktoberfest angr

UpdatedJul 18, 2025
Python

secure-software-engineering /phasar

A LLVM-based static analysis framework.

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

UpdatedJul 15, 2025
C++

Improve this page

Add a description, image, and links to theprogram-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 theprogram-analysis topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp