Search Results for "playstation 2 linux" - Page 2

DEEEP is a open source static analysis tool to detect, in C programs, integer vulnerabilities caused by the bad adaption of aplications from ILP32 to LP64. It uses the tools Lint and Splint, and runs over Open Solaris and Linux operating systems. This tool semantically analyses source code. More precisely, it does type checking, data-flow analysis, and it automatically correlates the results of these two types of analysis. Type checking is used for finding bugs on the way integers are handled, and data-flow analysis is used to see if hazardous functions (eg. memcpy, strcpy) are accessible from outside the program. ...

An Eclipse plug-in to monitor and act against the deterioration of software modularity in Java source code. On going development, with a prototype available.

Often I have seen some Huge Maintenance Projects it is always very difficult to track the incremental files for each release and If we want to do that we need to checkout both the branches and use some UI based tool to get the diff of the files finally we end up waiting in front of the PC for a long time and do this job. In many cases we spend more than 2 hrs/day. The time increases if there are more such parallel releases and at the end of the day 1 developer does it as full time job and...

PYC Dissasembler disassemble python byte compiled files (.pyc) into a series of opcodes. It work for every version of python 2 (that use cpython) but must be run with a good interpreter. Ex: you can only disassemble python 2.7 pyc files with a python 2.7 interpreter.

ccglue is a complementary tool to cscope and ctags. The tool builds a cross-reference symbol database from cscope [and ctags] databases that can be used to display dependency-graphs (aka call-trees, code flow). Visualization can be done with the Vim CCTree plugin (http://www.vim.org/scripts/script.php?script_id=2368), or the built-in stand-alone command-line tracer.

KDD (Kernel Data Disambiguator) is a new automated software analysis tool that can generate a sound kernel data definition for any C-based OS (e.g. Windows and Linux) without any prior knowledge of the OS. KDD disambiguates the pointer-based relations including generic pointers - to infer their candidate types/values - by performing static points-to analysis on the kernel’s source code. KDD takes the source code of an OS kernel as input and outputs an accurate directed type-graph that...

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

cpp2xml is a tool to convert C/C++ definitions into XML. The main goal is to use the XML as input to code generation tools, but any other usage may be imagined.

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

Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.

Hexjector is an Opensource,Cross Platform PHP script to automate Site Pentest for SQL Injection Vulnerabilties.

Patch file shows difference in files in whole lines. Sometimes those lines are very similar, only one or two words changed. This script compares changed lines by characters and highlights actual differences in them - very helpful with long lines.

The mistletoe parser library.

.Net Checker checks all code dependencies in .Net projects to ensure a stable architecture - up to multi-million LOC source trees. Moreover, it can produce flexible DOT-based dependency graphs.

Cov is a code coverage tool to get your code coverage after your runuing some steps for your programs.It is based on llvm(Low Level Virtual Machine,http://llvm.org/).Now,it's only a begining,so welcome anybody to join in.

A quick and simple way to create a source code report. Counts lines of code and compares two directories for line changes, line adds, and line deletes.

Libaries and plugins for java developpement with Idea IntelliJ

Java libraries with the functionality of indenting source code utilizing regular expresions. Currently C/C++, Java, HTML, and XML are supported.

XRay is an analysis tool built upon your SCMs, aimed to consolidade project statistics from many repositories in a single tool, generating code reports and development statistics obtained from log data and file versions.

This tool is an dependency management focused on sw-dev. It tracks source-code from software, and checks the object-dependencies and relations. The differences in two snapshots can show the need for further implementation- or testing-acitvities.

Jistory is an Eclipse plug-in for history sensitive detection of design anomalies in source code. This plug-in aims to aid the developer in writing better code by using history sensitive heuristics to analyse multiple versions of source code.