-
-
LLVM-Examples Public
LLVM Repository and Code samples. LLVM Passes and quick bytes.
-
ARC Public
Forked from fchollet/ARC-AGIThe Abstraction and Reasoning Corpus
JavaScript Apache License 2.0 UpdatedMar 27, 2024 -
Software-Analysis-PAVT Public
Forked from codersguild/Software-Analysis-PAVTProgram Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
Boogie Apache License 2.0 UpdatedMar 14, 2024 -
amplify-nextjs-starter-app Public
Forked from aws-samples/amplify-next-templateThis is a Next.js starter for building a fullstack app with AWS Amplify.
TypeScript MIT No Attribution UpdatedFeb 29, 2024 -
System-Design Public
Forked from codersguild/System-DesignSystem Design Bytes for Software Enthusiasts❤️. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual consistency, availability & reliability…
-
Solidity-Examples Public
Solidity Code Examples on Truffle and Ganache TestNet
-
fuzzing Public
Forked from google/fuzzingTutorials, examples, discussions, research proposals, and other resources related to fuzzing
C++ Apache License 2.0 UpdatedOct 7, 2022 -
bitcoin Public
Forked from bitcoin/bitcoinBitcoin Core integration/staging tree
C++ MIT License UpdatedOct 7, 2022 -
KLEE-KQueryParser Public
A KQuery parser for KLEE KQuery. Tool for KLEE symbolic execution enthusiasts.
-
activity Public
Forked from go-fed/activityActivityStreams & ActivityPub in golang, oh my!
Go BSD 3-Clause "New" or "Revised" License UpdatedAug 3, 2021 -
Hackers-Delight Public
Forked from hcs0/Hackers-DelightCode to accompany Hacker's Delight 2nd Edition by Henry S Warren. PS: Will have my notes etc when I go through it.
C UpdatedJul 28, 2021 -
code2eqv-gnn Public
Forked from PL-ML/code2invCode2Eqv: Finding equivalence relations between programs.
SMT UpdatedJan 26, 2021 -
PAVT-debloating-project Public
A Software Debloating Package for LLVM IR Frontends, firstly on C or C++.
-
OCCAM Public
Forked from ashish-gehani/OCCAMOCCAM: Object Culling and Concretization for Assurance Maximization
LLVM BSD 3-Clause "New" or "Revised" License UpdatedNov 27, 2020 -
GadgetSetAnalyzer Public
Forked from michaelbrownuc/GadgetSetAnalyzerA security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.
Python MIT License UpdatedNov 23, 2020 -
chisel Public
Forked from aspire-project/chiselA System for Debloating C/C++ Programs
C UpdatedNov 21, 2020 -
OCCAM-Benchmarks Public
Forked from SRI-CSL/OCCAM-BenchmarksEach benchmark specializes a set of applications with OCCAM.
Python BSD 3-Clause "New" or "Revised" License UpdatedOct 15, 2020 -
-
not-so-smart-contracts Public
Forked from crytic/not-so-smart-contractsExamples of Solidity security issues
Solidity Apache License 2.0 UpdatedApr 24, 2020 -
gality Public
Forked from michaelbrownuc/galityOpen-source implementation to compute metrics on sets of gadgets
Java GNU Lesser General Public License v2.1 UpdatedMar 6, 2020 -
ROPgadget Public
Forked from SRI-CSL/ROPgadgetThis tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC and MIPS architectu…
Python Other UpdatedJun 22, 2019
{{ message }}