The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis
-
Updated
Jan 7, 2022 - C++
The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis
A tool for testing and analyzing randomness using random number generators, estimating π and visualizing results.
Repository for my further research into comparitive performance/expressiveness/energy usage of languages
Enforcing information flow in C-languages with Clang.
compiler for silly, new programming language for fast bignum computations
An object file-based C/C++ fact extractor. Gathers data about source code from object files.
Program for analyzing the source code of a program with labels, designed to detect and display unused labels.
A preprocessor for c++ providing static reflection capabilites
simple strings grabber in C++
Continuous Incremental Static Analyzer (CISA), supporting incremental LLVM IR analyses over the git commit history of the target source code.
The CFL Reachability problem involves determining whether there is a path in a graph where the concatenation of edge labels along the path forms a string that belongs to a given context-free language.
C++ implementation of an interpreter for a simple programming language and a library for Intervals Abstract Domain
Static recovery of dynamic architectures for C++ ROS nodes
A static analysis pass written using LLVM to analyze a program decomposed into trusted and untrusted functions
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.
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."