There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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
pixeldp
fairtest
Metric_Learning_Adversarial_Robustness
Code for NeurIPS 2019 Papercrane
Transparent Paxoslibtrack
Library wrapper and system-level tracing utilitiessmt-mc
The Parrot stable and deterministic multi-threading system.PrivateKube
Privacy Budget Orchestration in Machine Learning Workloadsxray
Transparency for Web ServicesSmartInv
MTRobust
sunlight
ArgusDebugger
Diagnose performance issues in macOS based on mac_tracing.appflow
appdoctor
AppDoctorwoodpecker
Woodpecker: Verifying systems rules using rule-directed symbolic executionturbo
Effective caching in differentially-private databasesosdi23-paper114-ae
Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".VIA
Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecturextern
Xtern, a scheduling submodule of the Parrot stable and deterministic multi-threading system.user-cr
Userspace part of Linux Checkpoint/Restartosdi-paper196-ae
Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecturenesting-pub
quack
Protect your PHP project from deserialization attacks! As seen on NDSS 2024mac_tracing
Tracing system for performance diagnosis in macOS. It extends the Apple kernel trace facility.alibaba-dp-workload
Benchmark for differential privacy budget schedulers, based on an Alibaba cluster tracewhotoemail
Who to email in the cs department?grandet
A Unified, Economical Object Store for Web Applicationspyramid-release
android_vendor_columbia_build
Columbia SSL Android build configuration / kernel integrationdvh-asplos-ae
DVH - Artifacts Evaluation for ASPLOS 2020fall23-os2-qemu
mreplay
Mutable Replayosdi22-paper162-ae
egalito-artefact
scripts and content for Egalito Recompiler Evaluation artefactturbo-artifact
appflow-dataset
android_platform_dalvik
tdroid-snu
Study of accuracy of taint tracking systems. A collaboration between Columbia University and Seoul National University.linux-2.6-mutable
Mutable replay in the kernelcr-tests
Checkpoint/Restart test suielibscribe-racepro
Scribe user-space libraryosdi23-paper114-qemu
linux-2.6-racepro
Scribe: the record-replay mechanismlibscribe-mutable
transparency
racepro-bundle
The racepro deployment toolpy-scribe-racepro
Scribe python bindings and Scribe userspace toolspy-scribe-mutable
appflow_data
Data for AppFlow projectLove Open Source and this site? Check out how you can help us