ssrg-vt/popcorn-compiler ssrg-vt/popcorn-compiler

  • Stars
    star
    41
  • Rank 668,415 (Top 14 %)
  • Language
    C
  • Created over 7 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ssrg-vt/popcorn-compiler
github

ssrg-vt

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Popcorn Linux compiler toolchain for heterogeneous-ISA execution

More Repositories

1

hermitux

A binary-compatible unikernel
C
393
star
2

popcorn-kernel

Popcorn Linux kernel for distributed thread execution
C
156
star
3

hermitux-kernel

C
33
star
4

SlimGuard

A Secure and Memory-Efficient Heap Allocator
C++
29
star
5

FoxDec

Formally verified x86-64 decompilation
HTML
11
star
6

Chum-src

C
7
star
7

librettos-src

LibrettOS: A Dynamically Adaptable Multiserver-Library OS
7
star
8

renee-artifacts

C
5
star
9

popcorn-chameleon

Secure Popcorn Linux runtime state transformation framework
C++
4
star
10

TransProc

Transform the CRIU image between different architectures for vanilla code.
C
4
star
11

popcorn-openmp

A collection of OpenMP applications ported from other benchmark suites for use with Popcorn Linux
C
3
star
12

kite

C
3
star
13

NFM_2021

Assembly
3
star
14

aira

Automatic Instrumentation for Resource Adjustment (AIRA) framework
C++
3
star
15

n3350_pacman

Case Study to demonstrate ARM-style PAC on Intel's Goldmont CPU with the help of micro-code patching.
Python
3
star
16

mklinux

Old Popcorn Linux kernel
C
2
star
17

DynaCut

DynaCut: Dynamic and Adaptive Code Customization with Process Rewriting.
C
2
star
18

popcorn-xen-wiki

1
star
19

mklinux-ft

C
1
star
20

sail2pvs

Python
1
star
21

HeterSec

Source code for the HeterSec project.
C
1
star
22

Luce-src

Isabelle
1
star
23

MonGuard

Artifact of the MonGuard pape (EuroSec'20)
C
1
star
24

numa-stm

NUMA STM
C
1
star
25

popcorn-kernel-lib

Userspace tools for Popcorn rack
C
1
star
26

hermitux-toolchain

Shell
1
star
27

ebpf-fuzzer

A fuzzer for Linux eBPF module; build on top of LKL
C
1
star