211 projects tagged "Linux"
Updated 11 Apr 2011
ACL2
| Pop | 82.46 |
|---|---|
| Vit | 5.57 |
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 | 91.49 |
|---|---|
| Vit | 5.60 |
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 29 Nov 2011
Aplicatiu Exàmens Web
| Pop | 11.79 |
|---|---|
| Vit | 1.00 |
Aplicatiu Exàmens Web (abbreviated "AEW") is a Web-accessible CGI program which permits the creation, editing, realization, and correction of exams through the Web.
Updated 05 Feb 2008
AsmTrace
| Pop | 33.47 |
|---|---|
| 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 | 86.08 |
|---|---|
| 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.66 |
|---|---|
| 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 | 33.41 |
|---|---|
| Vit | 1.52 |
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 12 Sep 2004
C-Cramp
| Pop | 27.42 |
|---|---|
| Vit | 56.58 |
C-Cramp (the C-Cramp College Radio Audio Management Program) is a Web-based frontend to MySQL for managing the types of things that small radio stations might need: audio files, data, and "metadata"; DJ and staff information, schedules, live music and program logs, and all sorts of other data. Currently, a cross-platform PHP application is the focus of the project, but more features and types of programs are planned that will hopefully enable easier playback, storage, loading, and entering for all types of applicable data.
Updated 31 May 2005
C-XML UnitTest System
| Pop | 23.49 |
|---|---|
| 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 30 Apr 2004
CBT Combo
| Pop | 25.30 |
|---|---|
| Vit | 3.29 |
CBT Combo is a Computer-Based Training program for K-12 teachers who use Linux. It is text based and supports full internationalization and localization. It is a combination of authoring and playback software, and allows everyone to create training courses for others on most subjects. It supports access through serial TTYs, telnet, console, and xterms. X11 is not required but is supported through xterm. It runs extremely well on older 386 and 486 systems as well as more modern systems.
