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.

Sankofa is an application for the analysis of Oware (Abapa rule set) games. The goal is to enable players to recognize and to learn from their mistakes and to try alternative strategies. Run sankofa to show the interface on a local Web server at: http://localhost:10000* . Run retrograde to build a small end-game database. Sankofa is an analysis tool and not an automated opponent.

EclEmma is a free Java code coverage tool for Eclipse, available under the Eclipse Public License. It brings code coverage analysis directly into the Eclipse workbench. The EclEmma project is also the home of the JaCoCo code coverage library which is the technical back-end for EclEmma and also has integrations with many other build and software quality tools.

ansvif, or A Not So Very Intelligent Fuzzer, suited to find bugs in code by throwing garbage arguments, files, and environment variables at the target program, that you may or may not have the source code to. It supports many features, such as buffer size, randomization of the buffer size, random data injection, templates, and much more. The purpose of this project is to identify bugs in software, specifically bugs that can induce a segmentation fault under various conditions. This aids...

BGINFO for X, also called BGINFO4X, is a clone of the popular program BGINFO for Microsoft Windows created by Sysinternals. BGINFO4X is designed for pretty print useful information (CPU model, Hostname, IP address, OS version, Office version, and much more ...) on your desktop background or wallpaper. See the screenshots to see BGINFO4X in action. BGINFO4X is Multi Platform (Windows, MacOSX, Linux, BSD). BGINFO4X is Highly Customizable. BGINFO4X is Open Source. BGINFO4X comes...

High-performance electronic cart platform foreign electricity suppliers system high load high concurrency, high efficiency, high-speed, distributed, high-performance electronic cart systems With these various techniques and optimization, then do not worry for the lost one; using this system you can sit back and relax boss Monetize your friends! Core features are as follows: Database separate read and write speed memcached buffering speed HTML static pages acceleration Images watermarked image server separation image support CDN DNS round robin mirror server Multi-language support multi-currency support Orders report statistical analysis, product price concessions deal Page layout can be flexibly configured, multi-server load balanced layout Safety reliability, all the details of the optimization process Demo Reception: http://www.hecart.com/ Demo backstage account: demo Demo backstage Password: demo Demo Background: http://admin.hecart.com/

Performs basic checks on shell scripts for the presence of non portable syntax.

This package will allow people to check, change, update the license of their projects. It will conform to all new licenses available.