Andrea Mambretti's repositories
malware-classification
Malware Classifier based on the Microsoft Malware Classification Challenge
PrivilegeSeparation-glibc
PrivilegeSeparation glibc
ACE-RISCV
Assured Confidential Execution (ACE) for RISC-V
ast_grammar
from grammar to ast
bareflank_libvmi_extension
Extension to the Bareflank hypervisor supporting LibVMI
blog
blog
camdinzzle
Automatically exported from code.google.com/p/camdinzzle
consorzio-m-e-m
Automatically exported from code.google.com/p/consorzio-m-e-m
cot-clang
Code Optimization and Transformation project: IfConversion on Machine Code before the Register Allocation
CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
distributed_tictactoe_JMS
Common tic tac toe game implemented using JMS system
dropbox-like-corba
Dropbox-like application using java-CORBA (jacORB).
extended_apis
Intel's VT-x / VT-d APIs for the Bareflank hypervisor
extended_apis_example_hook
example of how to hook a function using the Bareflank hypervisor and EPT
filter_comments
Program that filters comments for Computer Numerical Control Programs
necst-beamer-template
The official LaTeX beamer template.
panda
Platform for Architecture-Neutral Dynamic Analysis
PrivilegeSeparation-allocator
Allocator for PrivilegeSeparation Project
PrivilegeSeparation-chardev
Char device for Trellis project
PrivilegeSeparation-clang
PrivilegeSeparation APIs using LLVM suite and the linux kernel
PrivilegeSeparation-kernel
PrivilegeSeparation kernel
PrivilegeSeparation-llvm
PrivilegeSeparation APIs using LLVM suite and the linux kernel
PrivilegeSeparation-login
login daemon for Trellis project
PrivilegeSeparation-test
PrivilegeSeparation APIs using LLVM suite and the linux kernel
qemu
QEMU VM with generic KVM extensions for symbolic execution
s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
seco-p2p
Automatically exported from code.google.com/p/seco-p2p