bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.
CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
EasyCM is to provide an easy way to install and setup an integrated SCM environment including Apache, SVN, Trac, and so on.
A bash-Script to collect metrics from a Linux system.
Collects server and java process information from various tools and creates charts with the data. The script was tested on GNU/Linux with gnuplot 4.4. For the script to work you have to set the variable "JAVA_HOME" to a valid JDK location. Check the documentation in the script file. The following information gets collected: >> output from vmstat >> netstat tcp states and established connections >> information from /proc/fd >> jstat -gc output >> jstat -class output >> CPU%, MEM% and ThreadCount from top and ps-command >> disk usage for each mounted device from df-command
Pau Code Review is a light weight code review tool. The emphasis of this project is to create the artifacts required for a code review without forcing a specific code review process on the user.
When something that must be known by everybody, there come this project to ba as 'annoucement' program that tell everybody in this world via internet or cellphone what they must know. For example: tsunamis, earthquake or even meteorite downfall.
An extension and enhancement to the original SPIKE. SPIKIER is ment to be a continuous project of improvements to the block based fuzzer SPIKE.