News

asmcfg takes assembly code generated by MSVC, Clang, or GCC and creates a control flow graph for each function.. The control flow graph can then be rendered to either a Graphviz dot string, or to an ...
Python3 control flow graph generator. StatiCFG is a package that can be used to produce control flow graphs (CFGs) for Python 3 programs. The CFGs it generates can be easily visualised with graphviz ...
Abstract: One of the most important computations in static worst-case execution time analyses is the path analysis which computes the potentially most time-consuming execution path in a program. This ...
One of the most important computations in static worst-case execution time analyses is the path analysis which computes the potentially most time-consuming execution path in a program. This is ...