Search Results for "linux android tool"

magic-trace is a high-resolution performance tracing tool developed to analyze and visualize the execution of programs at a very detailed level using hardware tracing capabilities. It leverages technologies such as Intel Processor Trace to capture precise information about how a program executes over time, including function calls and instruction flow. The tool is designed for performance debugging, allowing developers to identify bottlenecks, inefficiencies, and unexpected behavior in...

MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project:...

CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.