Search Results for "static code analysis"

Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer checks for null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code.

...Vanilla.PDF supports advanced PDF features such as adding CMS (PKCS#7) digital signatures, modifying content streams and metadata, and working with encryption and permissions based on standard PDF security models. It includes tools for parsing PDF internals like cross-reference tables and objects, providing fine-grained document analysis capabilities. The project is unit-tested with continuous integration pipelines, supporting sanitizers for enhanced code quality and stability.

California Energy Commission software for residential building energy code compliance analysis based on the performance path. License (modified BSD) for CEC Compliance Engine and CBECC-Res UI: https://sourceforge.net/p/cbecc-res/code/HEAD/tree/trunk/CBECC-Res/License.txt

California Energy Commission software for nonresidential building energy code compliance analysis based on the performance path. License (modified BSD) for CEC Compliance Engine and CBECC-Com UI: https://sourceforge.net/p/cbecc-com/code/HEAD/tree/trunk/CBECC-Com13/License.txt License for embedded EnergyPlus software: https://sourceforge.net/p/cbecc-com/code/HEAD/tree/trunk/CBECC-Com13/License-EPlusUser.txt

Patlac--Xml2cpp is a totally customizable code generator that generates classes (c++ for now) automatically from a xsd schema. Classes are described in google-ctemplate files and a xml options file allow precise definition of projects.

C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross-references, completion, diagnostics, semantic highlighting, and more. cquery is a highly-scalable, low-latency language server for C/C++/Objective-C. It is tested and designed for large codebases like Chromium. cquery provides accurate and fast semantic analysis without interrupting workflow. cquery implements almost the entire language server protocol and provides some extra features to boot. cquery is able to respond to queries quickly because it caches a huge amount of information. ...

**CODE MOVED TO GITHUB: https://github.com/bitextor ** Bitextor is an application created to generate translation memories using multilingual websites as a corpus source. It downloads an entire website and applies a set of heuristics (based mainly on HTML tag structure and text block length) to find bitexts.

The G(arbage) C(ollected) X(Query) engine is the first streaming XQuery engine that implements active garbage collection, a novel buffer management strategy in which both static and dynamic analysis are exploited.

SEO Tools provides tools for search engine optimization. Spider SEO: generates meta tags for all pages of a website. Web Page Optimizer performs analysis and changes in a web page. A graphical user interface is linked with a scriptol program that gene