163 projects tagged "Linux"
Updated 11 Apr 2011
ACL2
| Pop | 85.98 |
|---|---|
| Vit | 5.64 |
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Updated 24 Nov 2009
Alleyoop
| Pop | 92.33 |
|---|---|
| Vit | 5.64 |
Alleyoop is a GNOME frontend to the Valgrind memory checker. Its features include a right-click context menu to intelligently suppress errors or launch an editor on the source file, jumping to the exact line of the error condition. A searchbar at the top of the viewer can be used to limit the viewable errors to those that match the regex criteria entered. A fully functional Suppressions editor is also included.
Updated 05 Feb 2008
AsmTrace
| Pop | 32.86 |
|---|---|
| Vit | 1.00 |
AsmTrace reads ELF executables and traces their operation. The trace output shows registers and tables, and can have disassembly of instructions. It is similar to the strace program, but much smaller and optimized for assembler programmers.
Updated 30 Jan 2001
BFBTester - Brute Force Binary Tester
| Pop | 93.38 |
|---|---|
| Vit | 1.45 |
BFBTester is good for doing quick, proactive security checks of binary programs. BFBTester will perform checks of single and multiple argument command line overflows and environment variable overflows. It can also watch for tempfile creation activity to alert the user of any programs using unsafe tempfile names.
Updated 21 May 2008
Bunny the Fuzzer
| Pop | 48.33 |
|---|---|
| Vit | 2.11 |
Bunny the Fuzzer is a closed loop, high-performance, general purpose protocol-blind fuzzer for C programs. It uses compiler-level integration to seamlessly inject precise and reliable instrumentation hooks into the traced program. These hooks enable the fuzzer to receive real-time feedback on changes to the function call path, call parameters, and return values in response to variations in input data.
Updated 11 Aug 2005
Burp intruder
| Pop | 34.99 |
|---|---|
| Vit | 1.53 |
Burp intruder is a tool that facilitates automated attacks against Web-enabled applications. It is highly configurable and can test for common Web application vulnerabilities such as SQL injection, cross-site scripting, buffer overflows, and directory traversal as well as performing brute force attacks against authentication schemes, enumeration, parameter manipulation, trawling for hidden content and functionality, session token sequencing and session hijacking, data mining, concurrency attacks, and application-layer denial-of-service attacks.
Updated 31 May 2005
C-XML UnitTest System
| Pop | 22.36 |
|---|---|
| Vit | 1.73 |
C-XML UnitTest is a program that generates compiled unit tests for C (or related languages) using XML marked up files.
Updated 23 Jan 2004
CMT++
| Pop | 37.39 |
|---|---|
| Vit | 1.01 |
CMT++ is a code metric tool for C and C++. It also supports assembly code, in separate files and inline.
Updated 03 Feb 2004
CMTJava
| Pop | 21.14 |
|---|---|
| Vit | 1.01 |
CMTJava is a code metric tool for Java. It analyzes code complexity.
Updated 01 Apr 2011
CMake
| Pop | 225.53 |
|---|---|
| Vit | 6.77 |
CMake is a cross-platform, open-source build system. It is used to control the software compilation process using simple platform and compiler independent configuration files. It generates native makefiles and workspaces that can be used in the compiler environment of your choice. CMake is quite sophisticated: it is possible to support complex environments requiring system configuration, pre-processor generation, and code generation.
