pedromigueladao / SSofLinks
Public Repo for Software Security Course@IST
☆21Updated 7 years ago
Alternatives and similar repositories for SSof
Users that are interested in SSof are comparing it to the libraries listed below
Sorting:
- PC-miner tool for program chairs☆29Updated 3 weeks ago
- Monorepo containing the framework and various core parts of the SynTest ecosystem☆18Updated last week
- Old Clowdr versions 1 & 2 from 2020☆36Updated 5 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44Updated 4 years ago
- Fixing static analysis violations in Java source code using Datalog☆17Updated 3 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- Troupe programming language☆21Updated last week
- Generates loop invariants for program verification☆63Updated 4 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Updated last year
- Verifying the optimization phases of the GraalVM compiler☆14Updated 11 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated 2 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆67Updated 2 weeks ago
- The Termination Problem Database☆30Updated 4 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- CertiCrypt Coq Framework☆37Updated 9 years ago
- ☆17Updated 8 months ago
- Grammar prioritization support for EUSolver.☆14Updated 6 years ago
- ☆38Updated 9 months ago
- ☆20Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated 3 weeks ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated last week
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆23Updated 5 years ago
- An SMT Solver for string constraints☆47Updated 2 weeks ago
- PL/SE conference deadline countdowns☆19Updated 5 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆50Updated 3 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆42Updated 2 months ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- The Gillian Platform main repository☆93Updated last month
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 4 months ago