Select a tag to browse associated projects and drill deeper into the tag cloud.
AMO Validator
A
Claimed by Mozilla Foundation Analyzed about 20 hours ago
The AMO Validator is a tool designed to scan Mozilla add-on packages for problems such as security vulnerabilities, exploits, spamware and badware,
and lots of other gunk. By using a ombination of various techniques and detection mechanisms, the validator is capable of being both efficient as well as thorough.
Licenses:
bsd
complexity
C
Analyzed about 3 hours ago
Calculates the McCabe cyclomatic complexity index of the methods in your Ruby code.
Licenses:
No declared licenses
KAnnotator
K
Analyzed about 17 hours ago
Infer @Nullable/@NotNull and other annotations from byte code
Licenses:
apache_2
clang-tartan
C
Analyzed about 21 hours ago
A set of tools and plugins for Clang which aim to improve the usefulness of Clang for developing GLib and GNOME applications.
WebBreaker
W
No analysis available
Dynamic Application Security Test Orchestration (DASTO)
WebBreaker is a Python client application that provides orchestration for your open-source and commercial, automated web application testing products.
Mostly written in language not available
Licenses:
mit, mit
Cobra Static Code Analyzer
Analyzed about 4 hours ago
Cobra is a fast code analyzer that can be used to interactively probe and query up to millions of lines of code. The basic design of the tool is language-neutral, though a lot of query and rule libraries have been developed, and are included in the distribution, that target C or C-like languages.
Licenses:
No declared licenses
ApplicationInspector
A
Claimed by Microsoft Analyzed about 21 hours ago
A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'what's in it' using static analysis with a json based rules engine. Ideal for scanning components before use or detecting feature level changes.
freeboogie
F
Analyzed about 16 hours ago
FreeBoogie is a Java clone of the World's Best Program Verifier. It checks the correctness of Boogie programs. There are a few frontends for static analysis/verification that target the Boogie language: Spec#, VCC, B2BPL. If you consider implementing a static analysis, then take a look at Boogie.