Extracting static information from a given SystemC design
-
Updated
Feb 16, 2021 - C++
Extracting static information from a given SystemC design
The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis
OrthoDocs is a documentation generator and static analysis tool for OpenSCAD source trees.
BSA(Bash Static Analyser) is a cross-platform static analysis tool that identifies potential security vulnerabilities in bash scripts.
A tool for testing and analyzing randomness using random number generators, estimating π and visualizing results.
Enforcing information flow in C-languages with Clang.
A C++17 project that aims at executing network-related commands more securely by relying on tools such as: ip, iptables, ebtables, nftables, a custom network tool, etc. The main goal however is to set up many of the steps that I think are essential in a software development process; starting with the software design.
Fixing static analysis violations in Java source code using Datalog
Web framework for C++ (inspired by Flask, Java Spring, Express and many others)
Explore different ways to extend python with high performance tools to enhance performance of the system.
gradient-based symbolic execution engine implemented from scratch
A collection of custom cppcheck rules
compiler for silly, new programming language for fast bignum computations
Rex is a ROS-enabled extractor that parses ROS messages in C++ programs.
An object file-based C/C++ fact extractor. Gathers data about source code from object files.
Static analysis tool to find C/C++ function calls that do not use the return value
Static Binary Analysis Platform
Program for analyzing the source code of a program with labels, designed to detect and display unused labels.
Add a description, image, and links to the static-analysis topic page so that developers can more easily learn about it.
To associate your repository with the static-analysis topic, visit your repo's landing page and select "manage topics."