Topic: control-flow-graph Goto Github
Some thing interesting about control-flow-graph
Some thing interesting about control-flow-graph
control-flow-graph,This project is used to extract some basic assignment statements, loop conditions from the given python program. Using static control flow analysis, the project can be used to create a control flow graph. Using Reaching definition and live variable analysis, one can eliminate dead code from the program.
User: abhi24krishna
control-flow-graph,Detecting semantically equivalent code clone pairs in two or more code fragments.
User: abhi24krishna
control-flow-graph,A python library to build graphs for programs written in different programming languages.
User: acheshkov
control-flow-graph,A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.
User: acuarica
Home Page: https://acuarica.github.io/evm/
control-flow-graph,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.
User: acuarica
control-flow-graph,Java code analyzer based on JAVA ASM library
User: akarakoc
control-flow-graph,A static analysis tool for Go that generates control flow graphs and computes cyclomatic complexity
User: assifar-karim
control-flow-graph,Automation generate unit test for JavaScript by Jest Framework
User: bezzad
control-flow-graph,Fast program graph generation in Python
User: cedricrupb
control-flow-graph,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.
User: chaturv3di
control-flow-graph,A Survey of Deep Learning Models for Structural Code Understanding
User: codingclaire
control-flow-graph,Creating Data Flow Graphs from java input classes
User: daanvdh
control-flow-graph,SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
User: danielplohmann
control-flow-graph,Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
User: dibyendu
Home Page: http://dibyendu.github.io/unrelyzer
control-flow-graph,Solidity Static Analysis
User: duytai
control-flow-graph,Ethereum solidity graph plain debugger. To have the whole picture when debugging.
User: fergarrui
control-flow-graph,Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.
User: filletofish
control-flow-graph,Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol
User: heinidebes
control-flow-graph,Construct the CFG(Control Flow Graph) from intel assembly code
User: hidva
control-flow-graph,Create CFGs and compute complexity metrics for Python, C++, and Java code.
Organization: hmc-alpaqa
control-flow-graph,C parser written in Ruby, for experimental purpose
User: jc-ll
control-flow-graph,Learn Control Flow Graph on ObjectWeb ASM
User: kengotoda
control-flow-graph,Moved: https://codeberg.org/koutheir/binary-security-check
User: koutheir
Home Page: https://codeberg.org/koutheir/binary-security-check
control-flow-graph,EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
Organization: lisa-analyzer
control-flow-graph,A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Flow Graph graphical generator.
User: louisjenkinscs
control-flow-graph,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!
User: louisjenkinscs
control-flow-graph,Code Analysis Toolkit
User: m-zakeri
control-flow-graph,File Capability Extractor
User: marirs
control-flow-graph,Modified DexDump to build instruction graph from classes.dex
User: maxence-ho
control-flow-graph,BinaryCFGExtractor is an automated tool for extracting binary code control flow graph (CFG).
User: messi-q
control-flow-graph,Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
User: mustakimur
Home Page: https://www.usenix.org/conference/usenixsecurity19/presentation/khandaker
control-flow-graph,The
User: naplues
control-flow-graph,An R package for static analysis of R code.
User: nick-ulle
control-flow-graph,A control flow graph generator is a static program analysis tool, which generates a control flow graph when given a single Python program.
User: oking123
control-flow-graph,OpenRewrite recipes for data flow analysis.
Organization: openrewrite
control-flow-graph,VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
User: ppati000
control-flow-graph,A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Organization: python-security
control-flow-graph,A control-flow graph builder for Solidity smart contracts.
User: shaunazzopardi
control-flow-graph,Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
User: shramos
control-flow-graph,A C compiler written in Kotlin
User: slak44
control-flow-graph,Correct-by-construction control-flow graphs
User: strake
control-flow-graph,A control flow graph library for Lean
User: t-brick
control-flow-graph,An online brainfuck debugger
User: tartanllama
Home Page: https://elmscrew.tartanllama.xyz/
control-flow-graph,An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
User: thecomputeguy
control-flow-graph,Python Control Flow Graph Generator
User: tiankai-jiang
control-flow-graph,Edit assembly code in a visual way
User: tomaspecl
control-flow-graph,Control Flow Graph builder of c program
User: tulshidas39
control-flow-graph,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.
User: ummekulsumtumpa
control-flow-graph,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.
User: venkateshbh99
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.