Search Results for "static code analysis tool for c" - Page 3

A tool to help developers and security professionals conduct manual security code reviews in a consistent and repeatable way. Agnitio aims to replace the adhoc nature of manual security code review documentation, create an audit trail and reporting.

PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.

JLineCounter is a tiny tool written in java for counting lines in a text file. text files may be source files like c,java,csharp etc.

Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.

A small tool to remove C / C++ style comments from your source code. Including source.

Simple library to parse C++ header files and retrieve a list with the description of the elements defined. The initial purpose of the project was the creation of a tool to check the syntax of header belonging to a given project.

Security tool that replace sn.exe(Strong Naming Tool) in ASP.NET.This tool is for .Net developers only.Securing your web applications is very important .So with this tool you can protect your application by securing it source code.

EnDecode is a tool to decode/decompress parts of a binary file like PDF. If using PDF then stream to endstream data can be decompressed. You select from start to end of the part you want to decode and it will decode the data.

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...