openrewrite/rewrite-analysis

OpenRewrite recipes for data flow analysis.

Language: Java - Size: 76.3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 12 - Forks: 10

python-security/pyt

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

Language: Python - Size: 3.2 MB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 2,186 - Forks: 247

danielplohmann/smda

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

Language: Python - Size: 2.64 MB - Last synced at: 8 days ago - Pushed at: 17 days ago - Stars: 236 - Forks: 37

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: Solidity - Size: 11.7 MB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 90 - Forks: 9

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: Java - Size: 3.09 MB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 19 - Forks: 3

lisa-analyzer/evm-lisa

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

Language: Solidity - Size: 133 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 27 - Forks: 2

tmr232/function-graph-overview

Control-Flow Graph (CFG) Visualizer for VSCode

Language: TypeScript - Size: 6.08 MB - Last synced at: 10 days ago - Pushed at: 28 days ago - Stars: 54 - Forks: 5

tmr232/jb-function-graph-overview

Control-Flow Graph (CFG) Visualizer for JetBrains IDEs

Language: Kotlin - Size: 3.62 MB - Last synced at: 10 days ago - Pushed at: 29 days ago - Stars: 5 - Forks: 0

IanWold/CFWeaver

Generate comprehensive test scenarios from control flow models in simple markdown

Language: C# - Size: 56.6 KB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

tniessen/cpp-graph-dom

Tiny, header-only C++20 implementation of the dominator tree algorithm by Lengauer and Tarjan

Language: C++ - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

JC-LL/crokus

C parser written in Ruby, for experimental purpose

Language: Ruby - Size: 1.47 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 15 - Forks: 2

gaspardruan/pflux

The easiest way to get started with dataflow testing including control flow graph, program slice and du-path.

Language: TypeScript - Size: 1.45 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

shramos/pyc-cfg

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

Language: Python - Size: 58.6 KB - Last synced at: about 3 hours ago - Pushed at: over 7 years ago - Stars: 53 - Forks: 13

marirs/capa-rs

File Capability Extractor

Language: Rust - Size: 5.77 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 13 - Forks: 2

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: Java - Size: 18.7 MB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 14 - Forks: 1

fergarrui/ethereum-graph-debugger

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

Language: TypeScript - Size: 6.76 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 352 - Forks: 33

m-zakeri/CodA

Code Analysis Toolkit

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

KengoTODA/learn-cfg

Learn Control Flow Graph on ObjectWeb ASM

Language: Java - Size: 136 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

TheComputeGuy/static-analysis-plugin 📦

An IDA Python plugin for CFG generation and data flow analysis on x86 binaries

Language: Python - Size: 86.9 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2

hmc-alpaqa/metrinome

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

Language: Python - Size: 691 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 41 - Forks: 3

TebogoYungMercykay/Controll_Flow_Graph_Implementation_In_Java

A CFG is known as a Single Entry Single Exit (SESE) graph if it only has a single entry node and a single exit node. A problem that arose during researchon static analysis is how to deal with loops in the CFG.

Language: Java - Size: 83 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

Assifar-Karim/cyclomatix

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

Language: Go - Size: 26.4 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 19 - Forks: 0

shaunazzopardi/solidity-cfg-builder

A control-flow graph builder for Solidity smart contracts.

Language: Haskell - Size: 70.3 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 26 - Forks: 2

slak44/ckompiler

A C compiler written in Kotlin

Language: Kotlin - Size: 13.8 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 19 - Forks: 0

vanhauser-thc/drcfg Fork of toshipiazza/drcfg

Dynamic Control Flow Recovery

Language: C++ - Size: 136 KB - Last synced at: 11 months ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 0

hidva/as2cfg

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

Language: Rust - Size: 296 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 56 - Forks: 3

TheComputeGuy/dynamic-analysis-pin-tools 📦

Pin tool that generates a dynamic control flow graph and execution trace in DOT format

Language: C++ - Size: 18.6 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

Aboeleneen/signal-flow-graph

Application to calculate the overall transfer function given its signal flow graph which can be drawn easily using a friendly graphical user interface.

Language: Java - Size: 729 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

mukadr/MukaVM

Compiler Backend in .NET

Language: C# - Size: 121 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

nick-ulle/rstatic

An R package for static analysis of R code.

Language: R - Size: 508 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 40 - Forks: 4

patrick-petrovic/visualDFA

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

Language: Java - Size: 27.7 MB - Last synced at: 6 months ago - Pushed at: almost 8 years ago - Stars: 12 - Forks: 4

acheshkov/program-graphs

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

Language: Python - Size: 126 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 11 - Forks: 0

SongXueZhi/xzy-utils

Utils for program analysis(such as gen java call graph, execution trace)

Language: Java - Size: 77.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Messi-Q/BinaryCFGExtractor

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

Language: Python - Size: 3.01 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 1

koutheir/binary-security-check 📦

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

Language: Rust - Size: 153 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 69 - Forks: 8

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: Python - Size: 1.37 MB - Last synced at: 7 minutes ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 3

T-Brick/ControlFlow

A control flow graph library for Lean

Language: Lean - Size: 245 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

lu-cs-sde/IntraJSCAM2021

IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021

Language: HTML - Size: 363 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

aimanfatima/sootup-cfg-on-bugswarm-artifacts

This project is designed to enhance the usability of Software Defect Datasets, particularly Bugswarm. It involves using Sootup to create control flow graphs for the programs compiled with Bugswarm and Sootup. Additionally, the project aims to educate users on how to effectively implement Bugswarm in their projects for various use cases.

Language: Java - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Brythzz/cfg-flattening-pass

Control-flow graph flattening LLVM pass

Language: C++ - Size: 12.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

polystat/eog

EO programs to Call Flow Graph (CFG) transformator

Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

tomaspecl/visual-asm-editor

Edit assembly code in a visual way

Language: Rust - Size: 160 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

mustakimur/OS-CFI

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

Language: C++ - Size: 64.5 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 29 - Forks: 14

acuarica/jnif 📦

The Java Native Instrumentation Framework, JNIF, is the first native Java bytecode rewriting library. JNIF is a C++ library for decoding, analyzing, editing, and encoding Java bytecode.

Language: C++ - Size: 102 MB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

daanvdh/JavaDataFlow

Creating Data Flow Graphs from java input classes

Language: Java - Size: 200 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 34 - Forks: 11

UmmeKulsumTumpa/SPL-1

Here is my academic software project of 3rd Semester of IIT, DU. I will try to implement a very easy project using C++ language only.

Language: C++ - Size: 10.2 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

codingClaire/Structural-Code-Understanding

A Survey of Deep Learning Models for Structural Code Understanding

Language: Python - Size: 287 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 16 - Forks: 1

irfansofyana/NotasiAlgoritmik-AST-and-CFG-Generator

Repository for my undergraduate thesis (AST and CFG Construction of Notasi Algoritmik)

Language: Python - Size: 412 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 2

HeiniDebes/ZEKRA

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

Language: Java - Size: 979 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Heisenberg0203/SoftwareTesting

This repository contains unit Testing modules that follow the Control Flow Graph Coverage strategy using Mockito and Junit.

Language: CSS - Size: 981 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

strake/control-flow.agda

Correct-by-construction control-flow graphs

Language: Agda - Size: 1000 Bytes - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

aravi11/approxGed

Python code to find the the Approximate Graph Edit Distance of two unit Java functions by analyzing their Control Flow Graphs

Size: 17 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

aravi11/data-augmented-metamorphic-testing

Implementation for the paper "Leveraging Mutants for Automatic Prediction of MetamorphicRelations using Machine Learning"

Language: Python - Size: 448 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

maxence-ho/DexGraph

Modified DexDump to build instruction graph from classes.dex

Language: C++ - Size: 26.2 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 16 - Forks: 3

muhammadhasan01/notal-autograder

Control Flow Graph Based Notasi Algoritmik Autograder

Language: Jupyter Notebook - Size: 15.2 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

filletofish/compiler-touch

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

Language: C++ - Size: 80.1 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 19 - Forks: 7

cedricrupb/code_graph

Fast program graph generation in Python

Language: Python - Size: 32.2 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

duytai/ssa

Solidity Static Analysis

Language: Rust - Size: 12.5 MB - Last synced at: 26 days ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0

colejcummins/pyssectgraph

The backend for pyssect, tool for creating python control flow graphs

Language: Python - Size: 112 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

TulshiDas39/CFG

Control Flow Graph builder of c program

Language: Java - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 4

Nikhil-Pandarge/C-Programming

From Scratch

Language: C - Size: 597 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 1

bezzad/UnitJest

Automation generate unit test for JavaScript by Jest Framework

Language: JavaScript - Size: 8.48 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0

akarakoc/JASM-Code-Analyzer

Java code analyzer based on JAVA ASM library

Language: Java - Size: 730 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

muhammadhasan01/NotasiAlgoritmik-AST-and-CFG-Generator Fork of irfansofyana/NotasiAlgoritmik-AST-and-CFG-Generator

Repository for my undergraduate thesis (AST and CFG Construction of Notasi Algoritmik)

Size: 413 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

dibyendu/unrelyzer

Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs

Language: C - Size: 10.7 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 1

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: CSS - Size: 3.25 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1

thewhiteninja/abapt

ABAPT: Another Binary Analysis Python Tool :)

Language: Python - Size: 4.86 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

sambacha/solidity-ts-parser

Solidity Typescript Parser library and an exhaustive set (+1,800) Solidity Test Contracts

Language: Solidity - Size: 26.9 MB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

TartanLlama/elmscrew

An online brainfuck debugger

Language: Elm - Size: 201 KB - Last synced at: 1 day ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 1

zhaosjason/aflfaster Fork of mboehme/aflfast

AFLFaster (extends AFLFast with a CFG-informed mutation selection engine)

Language: C - Size: 1.81 MB - Last synced at: 5 months ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 1

alexandrustoica/dataflow.analysis

Language: Haskell - Size: 23.4 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

ziadhishamali/signalflowgraph

Signal Flow Graph solver is a web-based application which uses Mason's formula to solve any signal flow graph given to it, the website is made with UX/UI in mind so it provides a beautiful user interface and an easy way of drawing the signal flow graph and showing the results

Language: JavaScript - Size: 10.7 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

USC-SQL/graphs

Language: Java - Size: 26.7 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

AmrHendy/Signal_Flow_Graph_Automatic_Control

Linear Control Programming project, implemented using JavaSE to calculate the overall transfer function given its signal flow graph which can be drawn easily using a friendly graphical user interface.

Language: Java - Size: 371 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

kshitijgorde/Interprocedural-CFG

Language: GAP - Size: 180 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

Naplues/Static-Analysis

The

Language: Java - Size: 959 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1

anindoasaha/euclid

Language: Java - Size: 167 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0