OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
☆49Nov 9, 2022Updated 3 years ago
Alternatives and similar repositories for OpenStaticAnalyzer
Users that are interested in OpenStaticAnalyzer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19Dec 24, 2019Updated 6 years ago
- A Java Library for Repository Mining☆23Dec 19, 2025Updated 3 months ago
- Automated Measurement and Analysis of Open-Source Software☆13Oct 6, 2017Updated 8 years ago
- Developer-Centric Knowledge Mining from Large Open-Source Software Repositories☆16Aug 28, 2019Updated 6 years ago
- KLEEF Symbolic Execution Engine☆23Mar 28, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The simulator for the Next-Generation Championship in Branch Prediction (CBP-NG)☆32Mar 27, 2026Updated 2 weeks ago
- A crate to find DWARF debug symbols from stripped binaries☆22May 10, 2023Updated 2 years ago
- GCC-like msvc/cl wrapper for "Bash on Windows"☆17Nov 16, 2017Updated 8 years ago
- Bioinformatics benchmarking package, based on the original BioBench developed by Albayraktaroglu et al, 2005☆13Dec 13, 2018Updated 7 years ago
- C++ UTF-8 string handling utilities with conversions and a simple to use iterator☆26Aug 31, 2025Updated 7 months ago
- Python project designed to calculate the lag or delay in dependencies in terms of days☆21Updated this week
- Unofficial LibSSH with added custom native Visual Studio project build tools. LibSSH: Mulitplatform C library implementing the SSHv2 and …☆27Jan 26, 2026Updated 2 months ago
- Octane benchmark for Node.js☆18May 19, 2023Updated 2 years ago
- A constant throughput, correct latency recording variant of wrk☆16Jul 21, 2024Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- SIMDized check which bytes are in a set☆28Oct 21, 2018Updated 7 years ago
- A tool for dependencies validation for ninja build system using strace to detect the real dependencies☆16Nov 12, 2018Updated 7 years ago
- An algorithm for automatically solving Soduko puzzles☆15Apr 6, 2019Updated 7 years ago
- 🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.☆10Jun 21, 2020Updated 5 years ago
- Visual Studio RC Text Bounds Checker☆12Feb 15, 2016Updated 10 years ago
- Collection of NodeJS benchmarks☆16Dec 19, 2022Updated 3 years ago
- PARSEC 3.0 benchmark suite☆13May 12, 2018Updated 7 years ago
- Python library for code analysis with CPG and Joern☆25Jun 23, 2023Updated 2 years ago
- entr clone in golang☆10Nov 25, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The FOSS-Cloud webinterface.☆14Aug 25, 2017Updated 8 years ago
- Configuration files that allow cppcheck to provide better static analysis results☆17Aug 7, 2018Updated 7 years ago
- VCV Rack plugin implementation of the Karplus Strong algorithm☆11Jun 17, 2019Updated 6 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Feb 26, 2026Updated last month
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- A URI (and IRI) parser with a straightforward API, based upon uriparser☆28Mar 18, 2018Updated 8 years ago
- GUI frontend for sudo/su☆41Apr 1, 2026Updated last week
- nxsearch: a full-text search engine☆16Updated this week
- Attempt to port Pink Trombone to VCV Rack☆16Sep 8, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A terminal based UI for interacting with your gitlab issues and merge requests☆18Jul 12, 2023Updated 2 years ago
- ☆12May 8, 2017Updated 8 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 8 years ago
- SDK to develop plugins for VCV Rack☆15Oct 3, 2025Updated 6 months ago
- Vendy is a tool for vendoring third-party packages into your project.☆18Nov 28, 2023Updated 2 years ago
- ☆42Feb 20, 2026Updated last month
- Yet another implementation of TI C6x DSP simulator☆11Jan 16, 2014Updated 12 years ago