Search Results for "c program"

Flawfinder is a program that examines C source code and reports possible security weaknesses (``flaws'') sorted by risk level. It's very useful for quickly finding and removing some security problems before a program is widely released.

ansvif, or A Not So Very Intelligent Fuzzer, suited to find bugs in code by throwing garbage arguments, files, and environment variables at the target program, that you may or may not have the source code to. It supports many features, such as buffer size, randomization of the buffer size, random data injection, templates, and much more. The purpose of this project is to identify bugs in software, specifically bugs that can induce a segmentation fault under various conditions. This aids...

Little Software Stats is the first free and open source program that allows software developers to keep track of how their software is being used. It is coded in PHP/MySQL which allows it to run on most web servers.

ggcov is a GTK+ GUI for exploring test coverage data produced by C programs compiled with gcc --coverage. It's basically a GUI replacement for the gcov program that comes with gcc.

In early stages of software process implantation, is hard to measure the company performance. So, this project aims to help this difficult by providing a measurement process tool for software factories continuos improvement program.

Code Distance Visualizer is a static program analyzer. It learns patterns in user defined faulty and correct code instances and using visualization indicates which fragments in a program’s source code are the most similar to these instances.

Source code template library for encapsulation of highly-visible program data. Provides storage, access control, and duplication. Enforces modular access pattern, restricting normal functions from object access. Also protects simple objects and POD.

Given YACC-like and LEX-like input files, yagg generates a C++ program that generates all strings of a user-specified length. yagg is easy to use, and provides a means of generating test inputs or validating a parser grammar by inspecting the strings.

banshee-- A toolkit for building constraint-based program analyses

Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.

Simple Portable Memory Management (SPMM) is a small, easy to integrate memory management library for C++. The library emphasizes simplicity of use and implementation while guaranteeing leak free program execution.

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.

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 it even easier to write your code and find errors. ...