Search Results for "binary analysis tool" - Page 28

Prime is a tool capable of downloading massive numbers of code examples, analyzing them, then using the analyzed results for validation, completion or prediction.

This browser-based tool is a flexible solution for documenting both logical and physical database schema designs. It supports simple version tracking concepts to document schema changes in varying stages of planning and implementation.

State Hierarchy Protocol Parser: the tool for producing fast and flexible protocol/format analyzers based on FSM with pretty text description.

ReMIPS is a tool that manipulates binaries directly, applying code reengineering techniques (like optimization or binary translation techniques). Currently it only supports the ELF object-file format and the MIPS architecture.

Utility to fix common misspellings, typos in source codes. There are lots of typical misspellings in program codes. Typically they are more eye-catching in the living code but they can easily hide in comments, examples, samples, notes and documentations. With this utility you can fix a large number of them very quickly. Be aware that the utility does not check or fix file names. It can easily happen that a misspelled word is fixed in a file name in a program's code, but the file itself...

SPUDS (Software Productivity at University of Savoie) is a tool to help software development. This tool will be composed of several utilities: Software metrics, code analysis, and model-driven engineering. This is part of research work.

Open Source License Checker V.3 is tool for inspection and analysis of lisence information from open source packages.

MSP430static is a tool for the analysis of MSP430 firmware images, such as those produced by TinyOS and mspgcc. Features include call-graph generation, recovery of library symbol names, and easy extensibility in Perl or SQL.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...

NReflector is an extensible, open class browser and analysis tool for Mono/.NET. It allows users to browse Mono/.NET assemblies, search for methods/types and analyze their usage in an intuitive way.

The Open Log Engine is a powerful tool for advanced logging in games or programs. It easily allows you to make logging outputs in your program and analyse them afterwards with the Open Log Viewer, which provides you a powerful filtering system.

JDiag is an open source system information/diagnostics tool written in Java. It gathers information from various places in the system and places it into one log file for easy analysis by computer professionals.

QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.

Shopping Cart Diagnostics is a unique tool that will keep your online store in a perfect state. This service will troubleshoot your shopping cart configurations, website performance, availability, server environment and many other aspects of your online business. Shopping Cart Diagnostics defines all kinds of problems and timely informs you about them suggesting the right solution for removing them.

The BP-Tools set consist from applications supporting EFT testing, benchmarking and transaction service development. BP-Tools suite currently consists of following three components: - BP-CCALC: Cryptographic Calculator - BP-CardEdit: Thales P3 Input/Output file editor - BP-EMVT: EMV Tool - BP-HCMD: Thales HSM Commander