naivesystems / analyze
NaiveSystems Analyze is a static analysis tool for code security and compliance.
☆181Updated last week
Alternatives and similar repositories for analyze:
Users that are interested in analyze are comparing it to the libraries listed below
- ☆69Updated 8 months ago
- Super-parallel Python port of the C-Reduce☆273Updated 2 months ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆411Updated this week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆140Updated last month
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆46Updated 3 weeks ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆191Updated 2 years ago
- An interactive (fast) static source code analyzer☆157Updated last week
- Peter's Amazing Syntax Tree Analyzer☆129Updated 6 months ago
- language-agnostic program reducer.☆186Updated last week
- A fast, small C/C++ function call tracer for x86/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries☆157Updated last week
- Generic model checker for concurrent C programs (mirror repository)☆143Updated last month
- ☆253Updated last year
- A tool based on clang which generates a call graph from a given C++ codebase☆139Updated last month
- static analysis benchmarks from Toyota ITC☆114Updated last year
- Security-related flags and options for C compilers☆188Updated 2 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆28Updated 3 years ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆47Updated 5 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆58Updated last year
- Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage☆164Updated 5 months ago
- Companion Repository for the Lecture Slides for the Clang Libraries☆99Updated last week
- ☆68Updated 3 weeks ago
- Effect handlers in C++☆120Updated last year
- VSCode LLVM Compiler Explorer☆229Updated 10 months ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆27Updated 3 months ago
- ☆803Updated this week
- The efficient SMT-based context-bounded model checker (ESBMC)☆335Updated this week
- Interactive C/C++ preprocessor macro debugger☆165Updated 4 years ago
- ☆56Updated 6 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆238Updated 5 months ago