-
-
SootUp Public
Forked from soot-oss/SootUpA new version of Soot with a completely overhauled architecture
Java GNU Lesser General Public License v2.1 UpdatedSep 29, 2024 -
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Other UpdatedMay 21, 2024 -
-
-
phabricator Public
Forked from phacility/phabricatorEffective June 1, 2021: Phabricator is no longer actively maintained.
PHP Apache License 2.0 UpdatedApr 5, 2024 -
Chiron-Framework Public
Forked from PRAISE-group/Chiron-FrameworkChiron Framework for PAVT Teaching
Python MIT License UpdatedDec 5, 2023 -
FStar Public
Forked from FStarLang/FStarA Proof-oriented Programming Language
F* Apache License 2.0 UpdatedDec 2, 2023 -
cs3100_m20 Public
Forked from kayceesrk/cs3100_m20CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
Jupyter Notebook MIT License UpdatedOct 31, 2023 -
delphi Public
Forked from polgreen/delphidelphi is a prototype implementation of Synthesis Modulo Oracles (SyMO) and SMT with oracles (SMTO)
C++ UpdatedFeb 24, 2023 -
-
vasco Public
Forked from rohanpadhye/vascoAn inter-procedural data-flow analysis framework using value-based context sensitivity
Java GNU Lesser General Public License v2.1 UpdatedJan 20, 2023 -
scala-smtlib Public
Forked from regb/scala-smtlibScala library for parsing and printing the SMT-LIB format
SMT MIT License UpdatedDec 31, 2022 -
-
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
C Apache License 2.0 UpdatedAug 6, 2022 -
-
-
openfortivpn-ssh Public
Clone from https://github.com/itbh-at/openfortivpn-ssh
Shell UpdatedDec 2, 2021 -
-
oracles Public
Forked from polgreen/oraclesExample oracles for SyMO and SMTO
Slash UpdatedSep 15, 2021 -
vandal Public
Forked from usyd-blockchain/vandalStatic program analysis framework for Ethereum smart contract bytecode.
Python BSD 3-Clause "New" or "Revised" License UpdatedAug 5, 2021 -
-
-
wrapped-intervals Public
Forked from caballa/wrapped-intervalsPrecise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now implemented in Crab
C++ MIT License UpdatedJun 7, 2021 -
mkplot Public
Forked from alexeyignatiev/mkplotA Python script to create cactus and scatter plots based on matplotlib
Python MIT License UpdatedMar 20, 2021 -
code2inv Public
Forked from PL-ML/code2invCode2Inv: Learning Loop Invariants for Program Verification
SMT UpdatedJan 26, 2021 -
pdf2pptx Public
Forked from ashafaei/pdf2pptxConvert your (Beamer) PDF slides to (Powerpoint) PPTX
Shell MIT License UpdatedJan 19, 2021 -
libprop Public
Forked from trustworthy-systems-iitk/libpropHyperLTL property evaluation library and parser
C++ BSD 3-Clause "New" or "Revised" License UpdatedDec 16, 2020 -
learn-elixir Public
Forked from dwyl/learn-elixir💧 Learn the Elixir programming language to build functional, fast, scalable and maintainable web applications!
Elixir UpdatedNov 10, 2020
{{ message }}