Skip to content

@insufficiently-caffeinated Team Insufficiently Caffeinated

Change the repository type filter

All

    Repositories list

    9 repositories

    • caffeine

      Public archive
      A symbolic execution engine for LLVM IR
      C++
      •
      MIT License
      •8•52•45•0•Updated Apr 25, 2022Apr 25, 2022

    • caffeine-dependencies

      Public
      Github workflows to build dependencies for caffeine
      Shell
      •
      MIT License
      •0•1•0•0•Updated Apr 22, 2022Apr 22, 2022

    • caffeine-bazel-repository

      Public
      A bzlmod repository with custom caffeine dependencies
      Starlark
      •0•0•0•0•Updated Mar 16, 2022Mar 16, 2022

    • fuzzing-harnesses

      Public
      Collected harnesses for fuzzing various libraries using caffeine
      C
      •0•2•0•1•Updated Mar 12, 2022Mar 12, 2022

    • libcxx

      Public
      This repo builds LLVM IR for libcxx and libcxxabi
      Shell
      •
      MIT License
      •0•0•0•0•Updated Jan 14, 2022Jan 14, 2022

    • testing-harnesses

      Public
      Caffeine test harnesses for various programs
      C
      •0•0•0•0•Updated Jul 8, 2021Jul 8, 2021

    • tracing-tools

      Public
      Tools for working with traces emitted by caffeine
      Rust
      •
      MIT License
      •0•2•0•0•Updated Jun 18, 2021Jun 18, 2021

    • libc

      Public
      Used to compile libc to LLVM IR
      C
      •
      Other
      •1•0•0•0•Updated Apr 1, 2021Apr 1, 2021

    • decaf

      Public
      Experimental Symbolic Execution Prototype
      C++
      •
      MIT License
      •4•4•0•0•Updated Oct 28, 2020Oct 28, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.