naivesystems / analyzeLinks
NaiveSystems Analyze is a static analysis tool for code security and compliance.
☆191Updated last week
Alternatives and similar repositories for analyze
Users that are interested in analyze are comparing it to the libraries listed below
Sorting:
- 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…☆426Updated 3 weeks ago
- Peter's Amazing Syntax Tree Analyzer☆134Updated 3 weeks ago
- An interactive (fast) static source code analyzer☆176Updated last month
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Updated 9 months ago
- ☆252Updated 2 years ago
- GWPSan: Sampling-Based Sanitizer Framework☆329Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆160Updated this week
- A tool based on clang which generates a call graph from a given C++ codebase☆159Updated 8 months ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆404Updated this week
- Security-related flags and options for C compilers☆197Updated 3 years ago
- VSCode LLVM Compiler Explorer☆236Updated last year
- Super-parallel Python port of the C-Reduce☆304Updated this week
- Dynamic runtime inlining with LLVM☆64Updated 4 years ago
- Companion Repository for the Lecture Slides for the Clang Libraries☆119Updated 2 months ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆166Updated 4 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆200Updated last year
- ☆920Updated this week
- Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.☆180Updated 3 months ago
- Embedded Linker☆216Updated this week
- A list of compiler warning flags for different GCC and clang versions☆64Updated 2 months ago
- A fast, small C/C++ function call tracer for x86-64/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries☆189Updated 7 months ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆48Updated 2 weeks ago
- C Bounded Model Checker☆980Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆78Updated last week
- The RTOS components for the CHERIoT research platform☆155Updated last week
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated this week
- Code examples for tutoring modern C++☆100Updated 3 months ago
- ☆70Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆117Updated 2 months ago
- Query C++ codebases using SQLite☆188Updated 3 years ago