davsec-lab

Popular repositories Loading

1. rustassure rustassure Public

   Code for paper: RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code

   LLVM 9 1

2. scampi scampi Public

   Rust 2

3. baleen baleen Public

   Pintool for tracking memory reads from / writes to specific objects.

   C++ 2

4. typedefextractor typedefextractor Public

   C++

5. rustify-klee rustify-klee Public

   C++

6. klee-uclibc klee-uclibc Public

   Forked from klee/klee-uclibc

   KLEE's version of uClibc

   C