control-flow-graph

There are 79 repositories under control-flow-graph topic.

  • python-security/pyt

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

    Language:Python2.2k68102238

  • fergarrui/ethereum-graph-debugger

    Ethereum solidity graph plain debugger. To have the whole picture when debugging.

    Language:TypeScript35111733

  • danielplohmann/smda

    SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.

    Language:Python216163736

  • koutheir/binary-security-check

    Moved: https://codeberg.org/koutheir/binary-security-check

    Language:Rust69478

  • hidva/as2cfg

    Construct the CFG(Control Flow Graph) from intel assembly code

    Language:Rust56453

  • shramos/pyc-cfg

    Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.

    Language:Python503113
  • evm

    acuarica/evm

    A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

    Language:Solidity433684

  • daanvdh/JavaDataFlow

    Creating Data Flow Graphs from java input classes

    Language:Java412313

  • nick-ulle/rstatic

    An R package for static analysis of R code.

    Language:R40574

  • hmc-alpaqa/metrinome

    Create CFGs and compute complexity metrics for Python, C++, and Java code.

    Language:Python38652

  • mustakimur/OS-CFI

    Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019

    Language:C++351514

  • filletofish/compiler-touch

    Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.

    Language:C++25207

  • shaunazzopardi/solidity-cfg-builder

    A control-flow graph builder for Solidity smart contracts.

    Language:Haskell25363

  • Assifar-Karim/cyclomatix

    A static analysis tool for Go that generates control flow graphs and computes cyclomatic complexity

    Language:Go19100

  • slak44/ckompiler

    A C compiler written in Kotlin

    Language:Kotlin19400

  • LouisJenkinsCS/DSL

    A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Flow Graph graphical generator.

    Language:Java18103

  • codingClaire/Structural-Code-Understanding

    A Survey of Deep Learning Models for Structural Code Understanding

    Language:Python17401

  • maxence-ho/DexGraph

    Modified DexDump to build instruction graph from classes.dex

    Language:C++17503
  • evm-lisa

    lisa-analyzer/evm-lisa

    EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode

    Language:Java16330

  • LouisJenkinsCS/LLVM-Simple-GUI

    A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees and post-dominator trees, and more!

    Language:Java14201

  • JC-LL/crokus

    C parser written in Ruby, for experimental purpose

    Language:Ruby13302

  • ppati000/visualDFA

    VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.

    Language:Java127154

  • acheshkov/program-graphs

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

    Language:Python11220

  • marirs/capa-rs

    File Capability Extractor

    Language:Rust11442

  • Messi-Q/BinaryCFGExtractor

    BinaryCFGExtractor is an automated tool for extracting binary code control flow graph (CFG).

    Language:Python10201

  • Oking123/CFG_Generator

    A control flow graph generator is a static program analysis tool, which generates a control flow graph when given a single Python program.

    Language:Python9101

  • bezzad/UnitJest

    Automation generate unit test for JavaScript by Jest Framework

    Language:JavaScript820

  • chaturv3di/absynthe

    A (branching) Behaviour Synthesiser -- Simulates the generation of application or process logs, where multiple modules (or processes) can execute simultaneously, in a distributed deployment, and dump the log messages in an interleaved manner in a single log file.

    Language:Python8103

  • openrewrite/rewrite-analysis

    OpenRewrite recipes for data flow analysis.

    Language:Java87118

  • m-zakeri/CodA

    Code Analysis Toolkit

    Language:Python7201

  • HeiniDebes/ZEKRA

    Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol

    Language:Java6101

  • T-Brick/ControlFlow

    A control flow graph library for Lean

    Language:Lean6200

  • Tiankai-Jiang/CFG-Generator

    Python Control Flow Graph Generator

    Language:Python6215

  • VenkateshBH99/Path-Dependency-Analysis

    Loops are an important part of any programming language. Hence loop analysis is very important for different software engineering tasks, such as bug detection, test case generation, and program optimization.

    Language:CSS6201

  • duytai/ssa

    Solidity Static Analysis

    Language:Rust5500

  • polystat/eog

    EO programs to Call Flow Graph (CFG) transformator

    5001