naivesystems / analyzeLinks
NaiveSystems Analyze is a static analysis tool for code security and compliance.
☆185Updated 2 weeks ago
Alternatives and similar repositories for analyze
Users that are interested in analyze are comparing it to the libraries listed below
Sorting:
- Super-parallel Python port of the C-Reduce☆281Updated 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…☆420Updated last month
- Security-related flags and options for C compilers☆193Updated 2 years ago
- An interactive (fast) static source code analyzer☆163Updated 2 months ago
- Peter's Amazing Syntax Tree Analyzer☆131Updated 8 months ago
- VSCode LLVM Compiler Explorer☆228Updated last year
- 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
- ☆253Updated 2 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆30Updated 3 years ago
- static analysis benchmarks from Toyota ITC☆113Updated 2 years ago
- ☆840Updated this week
- ☆70Updated 11 months ago
- Generic model checker for concurrent C programs (mirror repository)☆151Updated 2 months ago
- A tool based on clang which generates a call graph from a given C++ codebase☆142Updated 3 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆241Updated 7 months ago
- Query C++ codebases using SQLite☆187Updated 3 years ago
- The SuperC Parsing Framework☆33Updated 2 weeks ago
- Companion Repository for the Lecture Slides for the Clang Libraries☆100Updated 2 months ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆349Updated this week
- Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.☆175Updated last month
- language-agnostic program reducer.☆191Updated 2 months ago
- A LLVM Sanitizer for Symbolic Tracing☆221Updated this week
- A fast, small C/C++ function call tracer for x86/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries☆174Updated 2 months ago
- GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…☆200Updated 3 years ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆105Updated 10 months ago
- Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage☆169Updated 7 months ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated last week
- CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution☆111Updated this week