Search Results for "control flow graph"

Terraform is an open source tool that allows you to use infrastructure as code to provision and manage any cloud, infrastructure or service. It codifies APIs into declarative configuration files, which can then be shared among team members, reviewed, applied, edited and versioned.

...Demangling of symbols from C++ binaries (GCC, MSVC, Borland). Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language. Generation of call graphs, control-flow graphs, and various statistics. Detection and reconstruction of C++ class hierarchies (RTTI, vtables). Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. An installed version of RetDec requires approximately 5 to 6 GB of free disk space.

A graphical browser for examining Monotone VCS repositories without the need for a workspace.

https://github.com/jplevyak/ifa IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominal or declared types) and the interprocedural call graph for statically or dynamically typed programs.

FunctionCheck is a profiler for C/C++ programs, based on gcc V4.6.3+. Features are flat profile, cycles detection, call-graph, MIN/MAX time in functions, memory profiling, profiling control at execution...

Spine provides a means of using inversion of control(dependency injection) techniques to create a multi tier application by using a generic model to instantiate java classes specified in configuration along a defined process flow.