facebook/pyre-check

Performant type-checking for python.

Language: OCaml - Size: 504 MB - Last synced at: about 19 hours ago - Pushed at: 1 day ago - Stars: 7,127 - Forks: 452

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.

Language: Python - Size: 47.4 MB - Last synced at: 1 day ago - Pushed at: 25 days ago - Stars: 4,158 - Forks: 797

trailofbits/vendetect

A tool to automatically detect copy+pasted and vendored code between repositories

Language: Python - Size: 353 KB - Last synced at: about 2 hours ago - Pushed at: about 8 hours ago - Stars: 72 - Forks: 5

antgroup/YASA-Engine

YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, designed to support multiple programming languages. Built on top of UAST, YASA provides a highly accurate static analysis framework.

Language: TypeScript - Size: 4.41 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 179 - Forks: 16

welchbj/int3

shellcode compiler and machine code mutation engine

Language: Python - Size: 851 KB - Last synced at: 1 day ago - Pushed at: 4 days ago - Stars: 2 - Forks: 0

wala/WALA

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

Language: Java - Size: 58.8 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 822 - Forks: 238

Lekssays/codebadger

A containerized Model Context Protocol (MCP) server providing static code analysis using Joern's Code Property Graph (CPG) technology with support for Java, C/C++, JavaScript, Python, Go, Kotlin, C#, Ghidra, Jimple, PHP, Ruby, and Swift.

Language: Python - Size: 638 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 20 - Forks: 1

x64dbg/x64dbg

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

Language: C++ - Size: 59.7 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 47,224 - Forks: 2,627

efferentnervestylophorumdiphyllum452/haskell-a95

🛠️ Build and explore A95 functions in Haskell for efficient numeric computations and problem-solving in mathematical contexts.

Size: 3.91 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

horsicq/Detect-It-Easy

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

Language: JavaScript - Size: 23.5 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 9,685 - Forks: 861

ramia851/base-contract

📝 Simplify smart contract development with this base contract template, offering essential functions and clear structure for your blockchain projects.

Size: 1.28 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 1

dgvijaytorg/assignment

this is TLE eliminators assignment which is contest tracker fetches realtime contest data and automation of uploading of youtube channel contest solution link to the database.

Language: TypeScript - Size: 107 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

NASA-SW-VnV/ikos

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

Language: C++ - Size: 5.05 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 3,064 - Forks: 218

hirrolot/mazeppa

A modern supercompiler for call-by-value functional languages

Language: OCaml - Size: 739 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 458 - Forks: 9

horsicq/DIE-engine

DIE engine

Language: C++ - Size: 61.7 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 2,871 - Forks: 363

rizinorg/rizin

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

Language: C - Size: 151 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 3,173 - Forks: 442

zsun360/cross-project-impact-analysis

Analyze the ripple effect of code changes across large-scale projects — visualize dependencies, assess risks, and improve code quality.

Language: TypeScript - Size: 836 KB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

jplag/JPlag

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

Language: Java - Size: 67.5 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 1,692 - Forks: 358

goblint/analyzer

Static analysis framework for C

Language: OCaml - Size: 39.8 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 215 - Forks: 84

semgrep/semgrep-rules

Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.

Language: HCL - Size: 9.69 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 1,021 - Forks: 482

ICELORD28/chapel-jmh

🚀 Accelerate Java Microbenchmarking with Chapel for precise and efficient performance analysis.

Size: 7.81 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

jar-analyzer/jar-analyzer

Jar Analyzer - 一个 JAR 包 GUI 分析工具，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索，支持 MCP 调用，文档：https://docs.qq.com/doc/DV3pKbG9GS0pJS0tk

Language: Java - Size: 86.2 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1,800 - Forks: 168

antgroup/YASA-UAST

YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different programming languages into a unified abstract syntax format.

Language: TypeScript - Size: 1.44 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 52 - Forks: 9

angr/angr-management

The official angr GUI.

Language: Python - Size: 14.8 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1,081 - Forks: 120

GaloisInc/grease

CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution

Language: Haskell - Size: 2.34 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 123 - Forks: 8

trailofbits/manticore

Symbolic execution tool

Language: Python - Size: 45.9 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 3,806 - Forks: 487

ultimate-pa/ultimate

The Ultimate program analysis framework.

Language: Java - Size: 934 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 233 - Forks: 47

kliu04/explotest

Create Regression Tests from Runtime Arguments

Language: Python - Size: 997 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 3 - Forks: 0

secure-software-engineering/phasar

A LLVM-based static analysis framework.

Language: C++ - Size: 160 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 1,017 - Forks: 152

learn-llvm/awesome-llvm

A curated list of awesome LLVM (including Clang, etc) related resources.

Language: Python - Size: 137 KB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 669 - Forks: 48

soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

Language: Java - Size: 381 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 747 - Forks: 103

google/bindiff

Quickly find differences and similarities in disassembled code

Language: Java - Size: 309 MB - Last synced at: 12 days ago - Pushed at: 18 days ago - Stars: 2,793 - Forks: 204

GaloisInc/yapall

A precise and scalable pointer analysis for LLVM, written in Ascent

Language: C - Size: 3.57 MB - Last synced at: 10 days ago - Pushed at: 9 months ago - Stars: 67 - Forks: 4

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.

Language: C++ - Size: 57.2 MB - Last synced at: 15 days ago - Pushed at: about 1 month ago - Stars: 3,919 - Forks: 565

ltcmelo/psychec

A compiler frontend for the C programming language

Language: C++ - Size: 11.2 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 552 - Forks: 40

llmpa/callgraph-agent

universal LLM agent generating call graph for various programming languages

Language: Python - Size: 97.7 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 0 - Forks: 0

lifting-bits/patchestry

Patchestry is a binary patching framework built with MLIR and Ghidra.

Language: C++ - Size: 1.36 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 49 - Forks: 4

falconre/falcon

Binary Analysis Framework in Rust

Language: Rust - Size: 2.23 MB - Last synced at: 11 days ago - Pushed at: almost 2 years ago - Stars: 576 - Forks: 47

Tencent/CodeAnalysis

Static Code Analysis - 静态代码分析

Language: Python - Size: 667 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 1,808 - Forks: 297

Chaoses-Ib/FormalLanguages

Language: Markdown - Size: 1.34 MB - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 8 - Forks: 3

trailofbits/vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

Language: C++ - Size: 5.83 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 422 - Forks: 32

vitsalis/PyCG 📦

Static Python call graph generator

Language: Python - Size: 274 KB - Last synced at: 22 days ago - Pushed at: about 2 years ago - Stars: 358 - Forks: 72

BinaryAnalysisPlatform/bap-python

BAP python bindings

Language: Python - Size: 67.4 KB - Last synced at: about 22 hours ago - Pushed at: almost 2 years ago - Stars: 21 - Forks: 12

apelullo/bluecoats_measurement_response_program_ops

Bluecoats is a closed-loop, human-centric measurement and response program coordinating training, resources, and operational mechanisms to empower health system staff and management to systematically diagnose issues and develop custom solutions that improve wellbeing, streamline operations, and bolster the financial health of the organization.

Language: Jupyter Notebook - Size: 72.9 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

borzacchiello/bhex

A lightweight and portable shell-based binary hex editor

Language: C - Size: 1.11 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 0

jubnzv/iec-checker

Static analysis of IEC 61131-3 programs

Language: OCaml - Size: 476 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 83 - Forks: 16

UnitTestBot/usvm

Universal Symbolic Virtual Machine

Language: Kotlin - Size: 134 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 27 - Forks: 25

Colton1skees/Dna

LLVM based static binary analysis framework

Language: C++ - Size: 1.09 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 257 - Forks: 26

rizinorg/book

An official book about Rizin

Language: CSS - Size: 39.5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 92 - Forks: 46

Koukyosyumei/Gymbo

gradient-based symbolic execution engine implemented from scratch

Language: C++ - Size: 10.1 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 34 - Forks: 0

trailofbits/siderophile

Find the ideal fuzz targets in a Rust codebase

Language: Rust - Size: 3.5 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 220 - Forks: 13

Kornimate/ssa

Project-part to create a plugin/program to create SSA form when analyzing JS and TS files using Babel.

Language: TypeScript - Size: 53.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

GaloisInc/MATE

MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.

Language: Python - Size: 117 MB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 196 - Forks: 12

pwnpope/BinGoggles

Static intraprocedural and interprocedural variable propagation analysis using Binary Ninja. Powers custom modules with ease.

Language: Python - Size: 4.91 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 1

python-security/pyt

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

Language: Python - Size: 3.2 MB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 2,196 - Forks: 250

liuml07/giri

Dynamic Program Slicing in LLVM Compiler

Language: C++ - Size: 2.32 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 142 - Forks: 36

plast-lab/HeapDL

Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.

Language: Java - Size: 455 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 15 - Forks: 1

srcML/nameCollector

Finds all the user defined identifier names in source code file(s). Works for C, C++, C#, Java, and Python files.

Language: Shell - Size: 178 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 0

spideruci/tacoco

Integrated Software Analysis Framework

Language: Java - Size: 5.99 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 8 - Forks: 7

observerw/lsp-client

Full-featured, well-typed, and easy-to-use LSP client

Language: Python - Size: 192 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 7 - Forks: 0

GaloisInc/cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

Language: C++ - Size: 3.99 MB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 146 - Forks: 16

quarkslab/pastis

PASTIS: Collaborative Fuzzing Framework

Language: Python - Size: 63.6 MB - Last synced at: 16 days ago - Pushed at: about 2 months ago - Stars: 162 - Forks: 10

yugr/sortcheck

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Language: C - Size: 252 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 54 - Forks: 4

github/codeql-go 📦

The CodeQL extractor and libraries for Go.

Size: 14.9 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 465 - Forks: 127

bliutech/TaintMonkey

MIT IEEE URTC 2025. GSET 2025. Repository for "TaintMonkey: Dynamic Taint Analysis of Python Web Applications Using Monkey Patching". A Pytest plugin incorporating fuzzing and taint analysis to uncover security vulnerabilities in Flask web applications.

Language: Python - Size: 3.24 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 13 - Forks: 1

quarkslab/qbindiff

Quarkslab Bindiffer but not only !

Language: Python - Size: 5.28 MB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 208 - Forks: 12

kupl/VeriSmart-public

a safety verifier for Solidity smart contracts

Language: OCaml - Size: 220 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 97 - Forks: 25

nus-apr/CrashRepair

Security Vulnerability Repair via Concolic Execution and Code Mutations

Language: Python - Size: 13.4 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 2

ALFA-group/adversarial-code-generation

[ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shiyu Chang, Quanfu Fan, Gaoyuan Zhang, and Una-May O'Reilly

Language: Python - Size: 16.2 MB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 29 - Forks: 5

jar-analyzer/jar-analyzer-v1-gui 📦

建议使用新版：https://github.com/jar-analyzer/jar-analyzer

Language: Java - Size: 20.2 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 897 - Forks: 108

sdasgup3/binary-decompilation

Extracting high level semantic information from binary code

Language: Assembly - Size: 244 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 66 - Forks: 8

statycc/pymwp

A static analyzer of variable value growth for C programs.

Language: Python - Size: 1.64 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 6 - Forks: 1

pfalcon/ScratchABlock

Yet another crippled decompiler project

Language: Python - Size: 905 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 108 - Forks: 23

m-zakeri/CodART

Source Code Automated Refactoring Toolkit

Language: Python - Size: 65.1 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 37 - Forks: 60

Intelligent-CAT-Lab/AlphaTrans

Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation", In Proceedings of The ACM Conference on Foundations of Software Engineering (FSE 2025), Trondheim, Norway, June 2025

Language: Java - Size: 49.2 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 25 - Forks: 4

Colton1skees/WinTTD

Reverse engineered API for Microsoft's Time Travel Debugger

Language: C++ - Size: 753 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 35 - Forks: 7

yegor256/ppa

Practical Program Analysis (academic course) presented in Innopolis University in 2023

Language: TeX - Size: 36.2 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 8 - Forks: 0

agra-uni-bremen/BinSym

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

Language: Haskell - Size: 120 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 50 - Forks: 3

Slava0135/gobber

Go symbolic execution (Z3 SMT solver)

Language: Go - Size: 137 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

mohitmishra786/reversingBits

A comprehensive collection of cheatsheets for reverse engineering, binary analysis, and assembly programming tools. This repository serves as a one-stop reference for security researchers, reverse engineers, and low-level programmers.

Language: HTML - Size: 131 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 562 - Forks: 65

SoftwareObservatorium/lasso

LASSO - A Large-Scale Software Observatorium for the Dynamic Selection, Analysis and Comparison of Software

Language: Java - Size: 27.7 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 16 - Forks: 2

yaof20/ReaL

Implementation and datasets for "Training Language Models to Generate Quality Code with Program Analysis Feedback"

Language: Python - Size: 30.4 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 20 - Forks: 0

etiamz/supercompilation-resources

📚 A collection of resources about supercompilation

Size: 77.1 KB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 111 - Forks: 0

Colton1skees/TritonTranslator

Standalone static version of Triton's x86/x64 translator

Language: C++ - Size: 495 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 27 - Forks: 8

IdrissRio/cat

Java Class Hierarchy Analysis

Language: Java - Size: 252 MB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 3 - Forks: 1

bdqnghi/awesome-ai4code

A collection of recent papers, benchmarks and datasets of AI4Code domain.

Size: 77.1 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 58 - Forks: 4

cs-au-dk/TIP

Static program analysis for TIP

Language: Scala - Size: 3.33 MB - Last synced at: 5 months ago - Pushed at: 7 months ago - Stars: 293 - Forks: 136

divyeshunadkat/divyeshunadkat.github.io

Personal Webpage

Language: HTML - Size: 20 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

lu-cs-sde/metadl

MetaDL: Datalog analyzing Datalog, Java or any language of your choice

Language: Java - Size: 27.4 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 16 - Forks: 2

fugue-re/fugue-core

A binary analysis framework written in Rust.

Language: Rust - Size: 1.82 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 170 - Forks: 9

Arpangpta/AlgoD-CodeStructure-Identifier

Identify algorithmic structures in source code using Abstract Syntax Trees (ASTs) and a CodeBERTa-based classifier. Combines syntactic analysis with transformer embeddings for structure classification from small datasets.

Language: Java - Size: 115 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

focs-lab/rapid

Dynamic Analysis for Concurrent Programs

Language: Java - Size: 32.8 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 26 - Forks: 10

AlexeyTolstopyatov/JellyBins

Static analysis for every desktop binary

Language: C# - Size: 27 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

formalsec/wasp

WASP was superseded by: https://github.com/OCamlPro/owi

Language: OCaml - Size: 152 MB - Last synced at: 21 days ago - Pushed at: over 1 year ago - Stars: 16 - Forks: 2

Cottontail-Proj/cottontail

Cottontail is currently under review

Size: 5.86 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0

iamaayushrivastava/Inter-Procedural-Constant-Propagation

This repository features an LLVM optimization pass for inter-procedural, context-insensitive, and flow-sensitive constant propagation that analyses and substitutes constant values across function boundaries. Key features include handling diverse data types and operations, and transforming variables and function arguments to constants.

Language: LLVM - Size: 23.4 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

seahorn/seahorn

SeaHorn Verification Framework

Language: C - Size: 7.46 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 451 - Forks: 131

mchalupa/dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Language: C++ - Size: 5.74 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 505 - Forks: 137

fkie-cad/cwe_checker

cwe_checker finds vulnerable patterns in binary executables

Language: Rust - Size: 9.31 MB - Last synced at: 6 months ago - Pushed at: 8 months ago - Stars: 1,223 - Forks: 129

JonathanSalwan/VMProtect-devirtualization

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

Language: Roff - Size: 28.1 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 1,252 - Forks: 195