CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Static_program_analysis_tool
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Static program analysis tool
rdfs:
subClassOf
Programming tool
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Static_program_analysis_tools
is
rdf:
type
of
Fluctuat
Jtest
Apache Yetus
JArchitect
StyleCop
Extended static checking
Imagix 4D
MALPAS Software Static Analysis Toolset
PC-Lint
Fortify Software
SonarQube
Cscope
ESLint
Checkstyle
Yasca
Frama-C
SOAtest
Coccinelle (software)
Parasoft C/C++test
PerlTidy
Sourcetrail
GrammaTech
Klocwork
Checkmarx
Automated code review
Coverity
Cppdepend
DMS Software Reengineering Toolkit
Clang
Coala (software)
Semgrep
PVS-Studio
Polyspace
CPAchecker
Software mining
FindBugs
Red Lizard Software
Helix QAC
SofCheck Inspector
AbsInt
Daikon (system)
AdaControl
Kiuwan
Astrée (static analysis)
CodeSonar
CodeScene
NDepend
ThreadSafe
LDRA Testbed
Soot (software)
Veracode
Cpplint
CodePeer
FxCop
TippingPoint
VeriFlux
Sparse
Cppcheck
BLAST model checker
RIPS
Splint (programming tool)
PMD (software)
Liquid Haskell
ECLAIR
Bauhaus Project (computing)
JSLint
Sotoarc
.NET Reflector
ESC/Java
Visual Expert
Parasoft
Semmle
SourceMeter
Lint (software)
ConQAT
Hermes (programming language)
JSHint
Pylint
Understand (software)