Search Results for "static code analysis"

...Libgit2 is developed with CMake, and this is be the easiest way to build a binary from the source. The CMake build system provides lots of options to configure the libgit2 build for your particular needs. It’s highly recommended that you build libgit2 as a static library for Xcode projects to simplify distribution significantly. libgit2 is used for powering Git GUI clients, such as gmaster and GitKraken and on Git hosting providers such as GitLab, Azure, GitHub, DevOps, among others. By clicking "merge pull request", we perform the merge. It is licensed under the GPLv2 license, so you can link it in its unmodified state with any type of software without releasing its source code.

SCons is a software construction tool that is a superior alternative to the classic "Make" build tool that we all know and love. SCons is implemented as a Python script and set of modules, and SCons "configuration files" are actually executed as Python scripts. This gives SCons many powerful capabilities not found in other software build tools. We make SCons available in three distinct packages, for different purposes. - The scons package is the basic package to install SCons. You...

Elaborate Visual Studio .vcxproj / .vcproj projects to CMakeLists.txt converter, enabling Makefile or Ninja or IDE builds, i.e. full multi-platform CMake functionality (Linux, Mac, Windows...). Live Update capability: supports side-by-side tracking of evolving original proj files, within build tree!! Script hooks for static CMake defs, powerful definition-to-variable mapping. Access to project data content is via git repository _only_ (it's a developer infrastructure project, thus alternatives are less suitable). Be aware of several branches available for checkout (git branch -a): "experimental_unverified" is for the daring (to start with current most featureful code), while usability of "experimental" always gets hardened via a large build. ...

xRecurseDiff is a small program that can rapidly traverse entire directory trees to show different version of the same files, for example to compare different version of the same project. For every file in the first directory searches in the second for files having the same name. A report containing results is shown. A detailed diff output can be shown. Search can be case-insensitive and limited by a char filter. In "library" working mode it compares only files basenames, while in...

JS/CC is a parser generator for JavaScript/ECMAScript, which is entirely written in ECMAScript itself. It produces LALR(1) parsers with integrated lexical analyzers. JS/CC can run as a website or be invoked from a console, and runs on several platforms.

Source Navigator NG is a source code analysis tool. With it, you can edit your source code, display relationships between classes and functions and members, and display call trees. You can navigate your source code and easily get to declarations or implementations of functions, variables and macros (commonly called "symbols") which helps you discovering and mapping unknown source code for enhancement or maintenance tasks.

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

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

PyChecker is a static analysis tool for finding bugs in Python source code. It finds problems that are typically caught by a compiler for less dynamic languages, like C and C++. It is similar to lint.

Github repository: https://github.com/miguelaxcar/PHP-MSSQL-Server-Admin Web based tool written in PHP by Luiz Miguel Axcar to build and run queries on a remote or local MSSQL (Microsoft SQL Server). Support for SQL code highlight (!), table browser, field browser, TOP records, most used tables, CSV results export, etc. Most tested in SQL 2000 version. If you find some issue ther let me know and I help you fixing it.

JSDE( JavaScript development environment), is a "Make" tools in JavaScript. you cloud use JSDE to check js|css syntax error, obfuscate js code, analyze js project , include file once, extent js syntax, find the dependence map, check file encoding.

Cross platform library to analyse PHP codes and apply source code formatting like indentation, eliminating whitespaces, automatically adding braces, etc. Also includes various front-ends to perform operations on multiple files via web, gui, and console.

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

A static HTML preprocessor.

The TclPro tool set includes a graphical debugger, a static code checker, a wrapper to generate stand-alone executables, a "compiler" that writes out Tcl byte codes, and a loader that reads byte codes.

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

Clint is a testbed for static source-code checking techniques. It is currently designed to check C++ for common programmer errors and suggest improvements.