Skip to content
@cadets

cadets

Popular repositories Loading

  1. loom loom Public

    The LOOM IR instrumentation framework

    C++ 19 4

  2. freebsd-old freebsd-old Public

    FreeBSD src tree http://www.FreeBSD.org/

    C 12 7

  3. dtrace-scripts dtrace-scripts Public

    A collection of DTrace scripts

    DTrace 7 5

  4. tesla-static-analysis tesla-static-analysis Public

    Static analysis extensions for TESLA

    LLVM 5 1

  5. tesla tesla Public

    Temporally Enforced Security Logic Assertions http://www.cl.cam.ac.uk/research/security/ctsrd/

    LLVM 4

  6. trace-data trace-data Public

    CADETS event traces

    Shell 4 1

Repositories

Showing 10 of 47 repositories
  • freebsd Public

    hypertrace

    cadets/freebsd’s past year of commit activity
    C 0 0 0 0 Updated Aug 23, 2024
  • loom Public

    The LOOM IR instrumentation framework

    cadets/loom’s past year of commit activity
    C++ 19 4 5 0 Updated Apr 23, 2024
  • freebsd-old Public

    FreeBSD src tree http://www.FreeBSD.org/

    cadets/freebsd-old’s past year of commit activity
    C 12 7 74 (1 issue needs help) 5 Updated Apr 13, 2023
  • hypertrace-test Public

    Hypertrace tests and framework

    cadets/hypertrace-test’s past year of commit activity
    Scheme 1 0 0 0 Updated Aug 29, 2021
  • log-primitive Public
    cadets/log-primitive’s past year of commit activity
    C 0 0 0 0 Updated Apr 1, 2020
  • build-meta Public

    Meta-repository for building All The Things that go into CADETS BSD

    cadets/build-meta’s past year of commit activity
    Shell 0 1 0 0 Updated Jun 4, 2019
  • cadets/ta1-integration-cadets’s past year of commit activity
    Python 3 0 1 0 Updated Jun 3, 2019
  • cadets/llvm’s past year of commit activity
    LLVM 0 2 0 0 Updated Jun 3, 2019
  • llvm-prov Public

    User-mode provenance tracking with LLVM

    cadets/llvm-prov’s past year of commit activity
    C++ 0 2 0 0 Updated Jun 3, 2019
  • cadets/trace_correlation’s past year of commit activity
    Python 0 0 0 0 Updated Jun 3, 2019

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…