naivesystems / analyzeLinks
NaiveSystems Analyze is a static analysis tool for code security and compliance.
☆188Updated this week
Alternatives and similar repositories for analyze
Users that are interested in analyze are comparing it to the libraries listed below
Sorting:
- An interactive (fast) static source code analyzer☆169Updated last week
- 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…☆419Updated 2 months ago
- ☆70Updated 11 months ago
- Super-parallel Python port of the C-Reduce☆282Updated this week
- 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.☆193Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago
- Peter's Amazing Syntax Tree Analyzer☆131Updated 9 months ago
- Companion Repository for the Lecture Slides for the Clang Libraries☆100Updated 3 months ago
- language-agnostic program reducer.☆193Updated 2 weeks ago
- A fast, small C/C++ function call tracer for x86/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries☆173Updated 3 months ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆356Updated this week
- ☆253Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆151Updated 2 months ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆31Updated 3 years ago
- Security-related flags and options for C compilers☆193Updated 2 years ago
- Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage☆171Updated 8 months ago
- The SuperC Parsing Framework☆34Updated last month
- An unofficial guide to contributing to GCC, aimed at newbies☆118Updated 8 months ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆192Updated last year
- Embedded Linker☆189Updated this week
- ☆855Updated this week
- A tool based on clang which generates a call graph from a given C++ codebase☆143Updated 4 months ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- Query C++ codebases using SQLite☆187Updated 3 years ago
- A list of compiler warning flags for different GCC and clang versions☆64Updated 2 months ago
- Generates visualization from Ninja build logs.☆50Updated last month
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆180Updated 3 weeks ago
- Inspect and dissect an ELF file with pretty formatting.☆107Updated last year
- Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.☆176Updated 2 months ago