Static analysis of a c-ish programming language
-
Updated
Apr 13, 2016 - HTML
Static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.
Static analysis of a c-ish programming language
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
A server for standard and nothing more
A time-travelling interpreter written in Haskell (also a bad film)
Library to manage static code analysis configuration files
A preprocessor for c++ providing static reflection capabilites
A fully pluggable tool for identifying and reporting on patterns in JavaScript
Template project to demonstrate perfominging checkstyle format checks + static code analysis with sonarlint in java projects
MiniJava to Spiglet compiler and some optimisation-oriented static analyses on Spiglet code
Static code analysis tool for g11n/i18n issues in resource files. 国际化资源代码检测工具
An exploration in custom rule creation for the WartRemover Scala linter
sbt
IntelliJ IDEA plugin for the e2immu static code analyser
Powershell based task processing
code dependency analysis across languages
Value Range Analysis Experiments
Having fun with linked lists in Python using type hints and mypy
Detecting and turning Insecure Codes into Secure ones
This is a simple Java method invocation printer. It is a simple tool that can be used to print the method invocations of a Java class. It is useful for debugging and understanding the flow of a Java program.