Search Results for "control flow graph"

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces. stress-ng was originally intended to make a machine work hard and trip hardware issues such as thermal overruns as well as operating system bugs that only occur when a system is being thrashed hard. Use stress-ng with caution as some of...

...The second important goal of Bugst is improving scalability of its libraries to programs used in practice, since experiments performed on such programs usually give solid experimental evidence of practical usability of the evaluated method. Bugst's important content: * lonka - Control-flow graph based program representation. * symtex - Program analysis called Symbolic Execution * cosymtex - Program analysis called Compact Symbolic Execution * segy - Symbolic Memory with pointers and pointer arithmetic * llvm2celllvm - Translates LLVM to constant-expressions-less LLVM. * celllvm2lonka - Translates constant-expressions-less LLVM into Lonka...

This is a cli disk diagnostic that runs under Windows, Linux and DOS/BIOS. It is a traditional disk diagnostic in the style of diagnostics going back into the 1960's and the first disk drives. Although CLI driven, I have found it more useful that many other types of diagnostics for disk, controller and driver development than GJI based diagnostics. The command forms are terse, and it allows either use as an immediate mode debugger of drives or it can be used to form full testing...

A plugin for the Eclipse IDE to generate control flow graphs and show coverage information. Supports node, edge, edge-pair and prime path coverage. Based on the Eclipse Control Flow Graph Generator (http://eclipsefcg.sourceforge.net/)

Bug tracking PHP application, intended to enable final users to report and track bugs or issues, allowing managers to open/assign this bugs to developers. Real easy time tracking interface, and ajax attachments management. Custom reports supported.