Correct-by-construction control-flow graphs
-
Updated
Nov 6, 2017 - Agda
Correct-by-construction control-flow graphs
This repository contains unit Testing modules that follow the Control Flow Graph Coverage strategy using Mockito and Junit.
Solidity Static Analysis
IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021
A python library to build graphs for programs written in different programming languages.
Dynamic Control Flow Recovery
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
Repository for my undergraduate thesis (AST and CFG Construction of Notasi Algoritmik)
Compiler Backend in .NET
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.
Implementation for the paper "Leveraging Mutants for Automatic Prediction of MetamorphicRelations using Machine Learning"
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.
Utils for program analysis(such as gen java call graph, execution trace)
The backend for pyssect, tool for creating python control flow graphs
ABAPT: Another Binary Analysis Python Tool :)
A C compiler written in Kotlin
Application to calculate the overall transfer function given its signal flow graph which can be drawn easily using a friendly graphical user interface.
Add a description, image, and links to the control-flow-graph topic page so that developers can more easily learn about it.
To associate your repository with the control-flow-graph topic, visit your repo's landing page and select "manage topics."