Program Analysis

PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.

A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all

RECODER is a Java framework for Java program analysis and source code transformation. RECODER computes an easy to use syntactic and semantic program model containing cross references and also supports transformation rollbacks and incremental model updates.


Platforms: Mac

ncc is a compiler that produces program analysis information. ncc is a decent replacement of cflow and cscope able to analyse any program using the gcc compiler. The program also includes a graphical call-graph navigator and source browser which is extremely practical for hacking and...


Platforms: C and C plus plus

ncc application is a compiler that produces program analysis information. ncc is a decent replacement of cflow and cscope able to analyse any program using the gcc compiler. The program also incliudes a graphical call-graph navigator and source browser which is extremely practical for hacking...


Platforms: *nix

CIL, also knows as the C Intermediate Language was built as a front-end for the C programming language. It was designed in order to facilitate program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. For example, in CIL all...


Platforms: Windows

jpaul is a Java implementation of severalalgorithms widely used in program analysis. It emphasizesflexibility and ease-of-use and is independent of any specificcompiler infrastructure project. BSD Licence.


Platforms: Windows, Mac, Linux

Fenris is a suite of tools suitable for code analysis, debugging, protocol analysis, reverse engineering, forensics, diagnostics, security audits, vulnerability research and many other purposes. The main logical components are: - Fenris: high-level tracer, a tool that detects the logic used...


Platforms: *nix

TMAJ is software for Tissue MicroArrays (TMA's). Patients, specimens, blocks, slides, cores, images, and scores can all be stored and viewed. Features include advanced security, custom dynamic fields, and an image analysis program.


Platforms: *nix

JCarder is an open source tool for finding potential deadlocks in concurrent multi-threaded Java programs. JCarder does this by instrumenting Java byte code dynamically (i.e., it is not a tool for static code analysis) and looking for cycles in the graph of acquired locks. The only requirement...


Platforms: *nix

Free System Utilities is the 100% free software to maintain your Windows® PC. With 20 effective tools, clearly arranged in four different categories, you receive a powerful software suite to optimize performance, safety and comfort of your PC. The customizable "1 Click-Maintenance" tool will...


Platforms: Windows

The Corporate Reaction Analysis Program is an ebook in the form of a quiz. The CRAP Quiz tests individuals on their knowledge of working life in the office. Written in a humorous style, the CRAP Quiz brings light relief to busy and stressed executives.

Tidal Analysis Program in PYthon (TAPPY) uses the least squares optimization function from scipy to perform a harmonic analysis (calculate amplitude and phases of a set of sine waves) of a hourly time series of water level values.


Platforms: Windows, Mac, Linux

The Analysis & Reconstruction Sound Engine also known as ARSE, is a program that analyses a sound file into a spectrogram and is able to synthetise this spectrogram, or any other user-created image, back into a sound. The ARSE consists in two main parts, a spectrographer with a base-2...


Platforms: *nix

Mesh Symbolic Electronic Circuit analysis Mesh electronic circuit analysis is an open source Visual Basic 6 program which is under active development at SourceForge. Please see the download page, for latest source code. Symbolic analysis, is where the resistance and voltage in an electronic...


Platforms: Windows

Standard GLCM textural analysis often doesn't give good results unless a large number of global classes are used (and using a large number of classes brings other problems). Using local classes helps, but the results are sensitive to noise. This program uses unweighted area sampling to vastly...


Platforms: Matlab

This tool allows people to do discourse analysis digitally. It requires Java . Most computers should have Java pre-installed. Double-clicking the file should launch the program. Instructions are found under the Help menu, if needed.


Platforms: Mac

BASE is the Basic Analysis and Security Engine. It is based on the code from the Analysis Console for Intrusion Databases (ACID) project. This application provides a web front-end to query and analyze the alerts coming from a SNORT IDS system. BASE is a web interface to perform analysis of...


Platforms: *nix

Isoqlog is an MTA log analysis program written in C. It designed to scan qmail, postfix, sendmail, exim logfile and produce usage statistics in HTML format. for viewing through a browser. It produces Top domains output according to Incoming, Outgoing, total mails and bytes, it keeps your main...


Platforms: *nix

AWFFull is a Web server log analysis program, forked from Webalizer. AWFFull project adds a number of new features and improvements, such as extended frontpage history, resizable graphs, and a few more pie charts. Webalizer is a great weblog analysis program but hasnt been going anywhere in...


Platforms: *nix