Search Results for "binary analysis tool"

...The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems. The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts...

Madmap is a tool to help analyze java heap dumps. New in v1.1 it supports hprof ascii and now binary dumps collected with jmap. It helps find memory leaks by showing the live set and automatically calculating which objects retain the most heap size.

JSnapshot is an advanced java exception logging, monitoring and analysis tool. It traces thrown exceptions in real-time and logs a snapshot of call stack, variables and objects for every thrown exception. Fully integrated with Eclipse IDE.

Java development tool for root cause analysis of software events, useful for software acceptance testing in early development.

Insight, the analysis TechTool for developers is a platform independent tool for viewing & analying run time meta data of applications. It aids in trouble shooting problems, and aids the developer in every day work through very advanced log analysis.

A suite of source and binary programs to test the capabilities of code analysis tools. A reference implementation of x86 binary analysis in C# is also included.