static analysis
Projects with this topic
-
Simple example of pipelines with two stages. Keywords: gitlabci, c++, cmake, static analysis, cppcheck, googletest
Updated -
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.
Updated -
Static analyzers for higher-order languages
Updated -
Abstract domain for function graphs, and fixpoint solvers based on them
Updated -
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)
UpdatedUpdated