ISRC-CAS / PLCT-OpenDay-2020

Related projects ⓘ

Alternatives and complementary repositories for PLCT-OpenDay-2020

• hellogcc / OSDT2020
  开源开发工具大会2020的幻灯片
  ☆47Updated 3 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆21Updated 4 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 4 years ago
• PragmaTwice / codepunk
  [WIP] Interval Analysis on LLVM IR
  ☆12Updated 4 years ago
• hellogcc / OSDT-Slides
  OSDT社区（HelloGCC、HelloLLVM）组织的活动中的报告
  ☆46Updated 3 years ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 5 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 4 years ago
• SchrodingerZhu / memcpy-amd64
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Updated 2 years ago
• hellollvm / website
  website of hellollvm.org
  ☆37Updated 11 months ago
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago
• Cytosine2020 / crust
  A Rust style C++ library.
  ☆19Updated 2 years ago
• oscomp / proj9-zcore
  基于Rust语言的OS Kernel -- zCore
  ☆18Updated 2 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆101Updated 2 years ago
• hellogcc / OSDT2019
  OSDT2019相关资料
  ☆16Updated 4 years ago
• tpchina / tpchina.github.io
  ☆15Updated last year
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆37Updated this week
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 4 years ago
• mmcloughlin / hellollvm
  Basic LLVM passes
  ☆17Updated 6 years ago
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated last year
• akemimadoka / LLVMCMakeBackend
  An April fools joke, a llvm backend to CMake
  ☆47Updated 3 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆47Updated 5 months ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated last year
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆47Updated 2 years ago
• MaxXSoft / laps
  Build lexers and parsers by deriving traits.
  ☆23Updated 10 months ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 2 years ago