OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
☆48Nov 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
Sorting:
- ☆19Dec 24, 2019Updated 6 years ago
- A Java Library for Repository Mining☆23Dec 19, 2025Updated 3 months ago
- Developer-Centric Knowledge Mining from Large Open-Source Software Repositories☆16Aug 28, 2019Updated 6 years ago
- KLEEF Symbolic Execution Engine☆23Updated this week
- Mirror of git://git.code.sf.net/p/libwpd/librevenge☆13Feb 2, 2016Updated 10 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22May 10, 2023Updated 2 years ago
- ☆14Oct 30, 2024Updated last year
- GCC-like msvc/cl wrapper for "Bash on Windows"☆17Nov 16, 2017Updated 8 years ago
- C++ UTF-8 string handling utilities with conversions and a simple to use iterator☆26Aug 31, 2025Updated 6 months ago
- Python project designed to calculate the lag or delay in dependencies in terms of days☆21Mar 13, 2026Updated last week
- Unofficial LibSSH with added custom native Visual Studio project build tools. LibSSH: Mulitplatform C library implementing the SSHv2 and …☆27Jan 26, 2026Updated last month
- GAQ(Go Ast Query) is the library to query ast.Node children like JavaScript querySelector or querySelectorAll for Go.☆26Dec 16, 2018Updated 7 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- Software and Hardware Characterization of Streaming Graph Analytics Workloads☆14Aug 15, 2022Updated 3 years ago
- 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
- Jenkins plug-in that defines an API to mine and analyze data from a source control repository☆17Updated this week
- Visual Studio RC Text Bounds Checker☆12Feb 15, 2016Updated 10 years ago
- PARSEC 3.0 benchmark suite☆13May 12, 2018Updated 7 years ago
- entr clone in golang☆10Nov 25, 2024Updated last year
- 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
- A Python interface to PISA☆37Sep 23, 2025Updated 5 months ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Feb 26, 2026Updated 3 weeks ago
- A URI (and IRI) parser with a straightforward API, based upon uriparser☆28Mar 18, 2018Updated 8 years ago
- Go stemmers generated by the Snowball project☆24Sep 6, 2020Updated 5 years ago
- Install and configure gitlab-runner on your system.☆13Dec 17, 2025Updated 3 months ago
- nxsearch: a full-text search engine☆16Oct 25, 2025Updated 4 months ago
- An open-source license compliance analysis and license recommendation tool.☆28Sep 30, 2025Updated 5 months ago
- 🔒 Pure Go GOST Security Suite☆12Dec 10, 2022Updated 3 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 8 years ago
- Open Source Libraries Collection☆24Jan 1, 2016Updated 10 years ago
- Vendy is a tool for vendoring third-party packages into your project.☆18Nov 28, 2023Updated 2 years ago
- 《穿越操作系统迷雾》源码☆11Jan 19, 2025Updated last year
- The main feature flipper library and web admin application.☆10Aug 18, 2025Updated 7 months ago
- A CVRF CSAF Converter, taking care about OASIS specification.☆10Jun 4, 2025Updated 9 months ago
- Go through the list of accepted papers for ICLR in terminal and add them to your reading list.☆13Jan 30, 2021Updated 5 years ago
- ☆16Jun 28, 2023Updated 2 years ago
- The inverted index exchange format as defined as part of the Open-Source IR Replicability Challenge (OSIRRC) initiative☆11Aug 6, 2025Updated 7 months ago