openrewrite/rewrite-analysis

OpenRewrite recipes for data flow analysis.

Language: Java - Size: 76.1 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 8 - Forks: 8

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: 7 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

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.3 MB - Last synced: 27 days ago - Pushed: 27 days ago - Stars: 35 - Forks: 4

lisa-analyzer/evm-lisa

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

Language: Java - Size: 78.2 MB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 15 - Forks: 0

python-security/pyt

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

Language: Python - Size: 3.2 MB - Last synced: 6 days ago - Pushed: over 3 years ago - Stars: 2,164 - Forks: 237

slak44/ckompiler

A C compiler written in Kotlin

Language: Kotlin - Size: 13.8 MB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 19 - Forks: 0

mukadr/MukaVM

Compiler Backend in .NET

Language: C# - Size: 121 KB - Last synced: 20 days ago - Pushed: 21 days ago - Stars: 1 - Forks: 0

nick-ulle/rstatic

An R package for static analysis of R code.

Language: R - Size: 508 KB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 40 - Forks: 4

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.4 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 214 - Forks: 36

hmc-alpaqa/metrinome

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

Language: Python - Size: 508 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 34 - Forks: 2

SongXueZhi/xzy-utils

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

Language: Java - Size: 77.1 KB - Last synced: about 2 months ago - Pushed: about 2 months 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: about 2 months ago - Pushed: about 3 years ago - Stars: 8 - Forks: 1

JC-LL/crokus

C parser written in Ruby, for experimental purpose

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

koutheir/binary-security-check 📦

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

Language: Rust - Size: 153 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 69 - Forks: 8

marirs/capa-rs

File Capability Extractor

Language: Rust - Size: 5.7 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 11 - 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.22 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

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: 19 days ago - Pushed: 11 months ago - Stars: 8 - Forks: 3

T-Brick/ControlFlow

A control flow graph library for Lean

Language: Lean - Size: 245 KB - Last synced: 3 months ago - Pushed: 3 months 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: about 1 month ago - Pushed: over 1 year 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: 3 months ago - Pushed: 3 months ago - Stars: 0 - 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: 17 days ago - Pushed: 4 months ago - Stars: 19 - Forks: 0

Brythzz/cfg-flattening-pass

Control-flow graph flattening LLVM pass

Language: C++ - Size: 12.7 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - 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: 4 months ago - Pushed: over 1 year ago - Stars: 347 - Forks: 33

polystat/eog

EO programs to Call Flow Graph (CFG) transformator

Size: 8.79 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 5 - Forks: 1

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: 3 months ago - Pushed: over 6 years ago - Stars: 45 - Forks: 13

ppati000/visualDFA

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

Language: Java - Size: 27.7 MB - Last synced: 8 months ago - Pushed: over 6 years ago - Stars: 11 - Forks: 4

vanhauser-thc/drcfg Fork of toshipiazza/drcfg

Dynamic Control Flow Recovery

Language: C++ - Size: 136 KB - Last synced: 9 months ago - Pushed: about 6 years ago - Stars: 3 - Forks: 0

tomaspecl/visual-asm-editor

Edit assembly code in a visual way

Language: Rust - Size: 160 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0

zhaosjason/aflfaster Fork of mboehme/aflfast

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

Language: C - Size: 1.81 MB - Last synced: 9 months ago - Pushed: about 7 years ago - Stars: 3 - Forks: 1

mustakimur/OS-CFI

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

Language: C++ - Size: 64.5 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 29 - Forks: 14

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: 10 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

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: 10 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

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: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

daanvdh/JavaDataFlow

Creating Data Flow Graphs from java input classes

Language: Java - Size: 200 KB - Last synced: 11 months ago - Pushed: about 2 years ago - Stars: 34 - Forks: 11

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: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

hidva/as2cfg

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

Language: Rust - Size: 296 KB - Last synced: 11 months ago - Pushed: over 1 year ago - Stars: 37 - Forks: 2

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: 12 months ago - Pushed: about 1 year 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: about 1 year ago - Pushed: about 2 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: about 1 year ago - Pushed: almost 3 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: about 1 year ago - Pushed: over 1 year 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: 9 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

strake/control-flow.agda

Correct-by-construction control-flow graphs

Language: Agda - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: over 6 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: about 1 year ago - Pushed: about 1 year 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: about 1 year ago - Pushed: about 1 year 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: about 1 year ago - Pushed: over 7 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: 3 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

m-zakeri/CodA

Code Analysis Toolkit

Language: Python - Size: 7.55 MB - Last synced: 11 months ago - Pushed: about 2 years ago - Stars: 7 - 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: about 1 year ago - Pushed: almost 7 years ago - Stars: 19 - Forks: 7

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: over 1 year ago - Pushed: almost 3 years ago - Stars: 16 - Forks: 3

cedricrupb/code_graph

Fast program graph generation in Python

Language: Python - Size: 32.2 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

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: over 1 year ago - Pushed: about 5 years ago - Stars: 8 - Forks: 1

rudrOwO/control-flow-graph

Generate control flow graph from code snippet

Language: TypeScript - Size: 98.6 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

duytai/ssa

Solidity Static Analysis

Language: Rust - Size: 12.5 MB - Last synced: 25 days ago - Pushed: over 4 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: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

TulshiDas39/CFG

Control Flow Graph builder of c program

Language: Java - Size: 9.77 KB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 3 - Forks: 4

Nikhil-Pandarge/C-Programming

From Scratch

Language: C - Size: 597 KB - Last synced: over 1 year ago - Pushed: almost 3 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: about 1 year ago - Pushed: over 1 year ago - Stars: 8 - Forks: 0

acheshkov/program-graphs

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

Language: Python - Size: 126 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 6 - Forks: 0

akarakoc/JASM-Code-Analyzer

Java code analyzer based on JAVA ASM library

Language: Java - Size: 730 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

shaunazzopardi/solidity-cfg-builder

A control-flow graph builder for Solidity smart contracts.

Language: Haskell - Size: 70.3 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 16 - Forks: 2

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: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

KengoTODA/learn-cfg

Learn Control Flow Graph on ObjectWeb ASM

Language: Java - Size: 136 KB - Last synced: about 2 months ago - Pushed: 11 months ago - Stars: 2 - 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: about 1 year ago - Pushed: about 7 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: 4 months ago - Pushed: over 3 years ago - Stars: 5 - Forks: 1

thewhiteninja/abapt

ABAPT: Another Binary Analysis Python Tool :)

Language: Python - Size: 4.86 MB - Last synced: about 1 year ago - Pushed: over 3 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: 5 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 1

TartanLlama/elmscrew

An online brainfuck debugger

Language: Elm - Size: 201 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 2 - Forks: 1

alexandrustoica/dataflow.analysis

Language: Haskell - Size: 23.4 KB - Last synced: about 1 year ago - Pushed: about 5 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: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

USC-SQL/graphs

Language: Java - Size: 26.7 MB - Last synced: over 1 year ago - Pushed: over 5 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: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

kshitijgorde/Interprocedural-CFG

Language: GAP - Size: 180 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

Naplues/Static-Analysis

The

Language: Java - Size: 959 KB - Last synced: 11 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 1

anindoasaha/euclid

Language: Java - Size: 167 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0