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.

Python software to control Bronkhorst flow controllers via RS232. Works via USB serial converter too.

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...

...Done through an analysis of the data that is processed through reports, did during his visits to the clinic. Through a previously scheduled interview with staff of this clinic noticed the lack of technology making it difficult to register and control the flow of patients and payments.

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.