• Stars
    star
    209
  • Rank 188,325 (Top 4 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created over 8 years ago
  • Updated over 1 year ago

Reviews

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

Repository Details

Self-hosting binary instrumentation framework for security research
Egalito is a binary recompiler, designed for implementing security hardening.
It uses a low-level intermediate representation (EIR or Chunk) that accurately
reflects all aspects of a program binary. Egalito uses metadata present in
modern position-independent binaries to turn all cross-references into EIR
Links, allowing code to be arbitrarily rearranged without additional overhead.
Output generation in the form of ELFs or union ELFs is supported, and Egalito
provides a custom loader that allows it to bootstrap into a fully self-hosted
environment (parsing and transforming libegalito.so).

Egalito supports x86_64 and aarch64, with experimental support for RISC-V.

For more information, please visit: https://egalito.org

To build:
$ sudo apt-get install make g++ libreadline-dev gdb lsb-release unzip
$ sudo apt-get install libc6-dbg libstdc++6-7-dbg  # names may differ
$ git submodule update --init --recursive
$ make -j `nproc`

To test, try:
$ cd test/codegen && make && cd -
$ cd app && ./etelf -m ../src/ex/hello hello && ./hello && cd -
$ cd src && ./loader ex/hello && cd -
$ cd app && ./etshell

Other extensions:
- Python bindings and Python shell: see app/README-python
- Docker: see test/docker/README.md

More Repositories

1

pixeldp

Python
62
star
2

fairtest

Python
56
star
3

Metric_Learning_Adversarial_Robustness

Code for NeurIPS 2019 Paper
Python
48
star
4

crane

Transparent Paxos
C++
44
star
5

libtrack

Library wrapper and system-level tracing utilities
Python
44
star
6

smt-mc

The Parrot stable and deterministic multi-threading system.
C
26
star
7

PrivateKube

Privacy Budget Orchestration in Machine Learning Workloads
Python
23
star
8

xray

Transparency for Web Services
Ruby
20
star
9

SmartInv

20
star
10

MTRobust

Python
20
star
11

sunlight

Ruby
20
star
12

ArgusDebugger

Diagnose performance issues in macOS based on mac_tracing.
C++
18
star
13

appflow

Python
17
star
14

appdoctor

AppDoctor
Java
15
star
15

woodpecker

Woodpecker: Verifying systems rules using rule-directed symbolic execution
C
12
star
16

turbo

Effective caching in differentially-private databases
Python
10
star
17

osdi23-paper114-ae

Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
LLVM
9
star
18

VIA

Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
Coq
8
star
19

xtern

Xtern, a scheduling submodule of the Parrot stable and deterministic multi-threading system.
C++
6
star
20

user-cr

Userspace part of Linux Checkpoint/Restart
C
5
star
21

osdi-paper196-ae

Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
Coq
5
star
22

nesting-pub

4
star
23

quack

Protect your PHP project from deserialization attacks! As seen on NDSS 2024
Scala
4
star
24

mac_tracing

Tracing system for performance diagnosis in macOS. It extends the Apple kernel trace facility.
Python
4
star
25

alibaba-dp-workload

Benchmark for differential privacy budget schedulers, based on an Alibaba cluster trace
Python
4
star
26

whotoemail

Who to email in the cs department?
3
star
27

grandet

A Unified, Economical Object Store for Web Applications
C++
3
star
28

pyramid-release

Scala
3
star
29

android_vendor_columbia_build

Columbia SSL Android build configuration / kernel integration
C
3
star
30

dvh-asplos-ae

DVH - Artifacts Evaluation for ASPLOS 2020
Shell
2
star
31

fall23-os2-qemu

C
2
star
32

mreplay

Mutable Replay
Python
2
star
33

osdi22-paper162-ae

Shell
2
star
34

egalito-artefact

scripts and content for Egalito Recompiler Evaluation artefact
Python
2
star
35

turbo-artifact

Jupyter Notebook
2
star
36

appflow-dataset

HTML
1
star
37

android_platform_dalvik

Assembly
1
star
38

tdroid-snu

Study of accuracy of taint tracking systems. A collaboration between Columbia University and Seoul National University.
1
star
39

linux-2.6-mutable

Mutable replay in the kernel
C
1
star
40

cr-tests

Checkpoint/Restart test suie
C
1
star
41

libscribe-racepro

Scribe user-space library
C
1
star
42

osdi23-paper114-qemu

C
1
star
43

linux-2.6-racepro

Scribe: the record-replay mechanism
C
1
star
44

libscribe-mutable

C
1
star
45

transparency

1
star
46

racepro-bundle

The racepro deployment tool
Ruby
1
star
47

py-scribe-racepro

Scribe python bindings and Scribe userspace tools
Python
1
star
48

py-scribe-mutable

Python
1
star
49

appflow_data

Data for AppFlow project
1
star