RSS 209 projects tagged "Linux"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.30
Vit 4.97

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.

Download Website Updated 24 Nov 2009 Alleyoop

Screenshot
Pop 77.46
Vit 5.24

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.

No download Website Updated 29 Nov 2011 Aplicatiu Exàmens Web

Screenshot
Pop 9.90
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.

Download Website Updated 05 Feb 2008 AsmTrace

Screenshot
Pop 26.83
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.

Download Website Updated 30 Jan 2001 BFBTester - Brute Force Binary Tester

Screenshot
Pop 74.34
Vit 1.44

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.

Download Website Updated 21 May 2008 Bunny the Fuzzer

Screenshot
Pop 41.38
Vit 2.09

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.

No download Website Updated 11 Aug 2005 Burp intruder

Screenshot
Pop 36.66
Vit 1.51

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.

No download Website Updated 12 Sep 2004 C-Cramp

Screenshot
Pop 24.49
Vit 59.22

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.

No download Website Updated 31 May 2005 C-XML UnitTest System

Screenshot
Pop 18.00
Vit 1.73

C-XML UnitTest is a program that generates compiled unit tests for C (or related languages) using XML marked up files.

No download Website Updated 30 Apr 2004 CBT Combo

Screenshot
Pop 25.10
Vit 3.28

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.

Screenshot

Project Spotlight

TCPDF

A PHP class for generating PDF documents.

Screenshot

Project Spotlight

KDE Software Compilation

A powerful graphical desktop environment, applications, and development frameworks.