static analysis

A complete gitlab-ci pipeline example with a C++ project. Keywords: gitlabci, c++, cmake, static analysis, lint, sonarqube, pages, package, release, docker, macosx, windows, badges.

Abstract domain for function graphs, and fixpoint solvers based on them

Static analyzers for higher-order languages

Simple example of pipelines with two stages. Keywords: gitlabci, c++, cmake, static analysis, cppcheck, googletest

The Hashed-AST Detector helps you to build deep learning models to detect statically web vulnerability - especially Cross-Site Scripting XSS - based on Programming Language Processing (PLP)