A static code analyzer for C++, C#, Lua
-
Updated
Dec 25, 2023 - C++
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.
A static code analyzer for C++, C#, Lua
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Simple and powerful standalone project for clang-based tools using libtooling (e.g. refactoring, auto-completion, etc.)
OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
Slicing tool for c++ programs using clang AST.
Static code analyser for syntaxic rules
Examples of googletest usage for Test Driven Development. This is the repository where I keep all the relevant information about Test Driven Development with C++ and gtest.
brief tutorial on Static Code Analysis tools
This repository contains microbenchmarks written in Swift and C++.
A preprocessor for c++ providing static reflection capabilites
C++ review implementing multiple Data Structures and Algorithms.
Program for analyzing the source code of a program with labels, designed to detect and display unused labels.
This program analyzes code based on five predetermined metrics and outputs a score based on the code's goodness
A C++ API usability checker I developed for my MSc. dissertation. An open access paper is available here: https://www.mdpi.com/2079-9292/9/7/1077