m4mbr3

Andrea Mambretti's repositories

trellis

Source code trellis paper

Language:C300

malware-classification

Malware Classifier based on the Microsoft Malware Classification Challenge

Language:TeX100

PrivilegeSeparation-glibc

PrivilegeSeparation glibc

Language:CGPL-2.0100

ast_grammar

from grammar to ast

Language:Rust000

bareflank_libvmi_extension

Extension to the Bareflank hypervisor supporting LibVMI

Language:C++LGPL-2.1000

blog

Language:CSS000

camdinzzle

Automatically exported from code.google.com/p/camdinzzle

Language:Java000

consorzio-m-e-m

Automatically exported from code.google.com/p/consorzio-m-e-m

Language:HTML010

cot-clang

Code Optimization and Transformation project: IfConversion on Machine Code before the Register Allocation

Language:C++NOASSERTION000

cot-llvm

Code Optimization and Transformation project: IfConversion on Machine Code before the Register Allocation

Language:C++NOASSERTION020

CppCoreGuidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Language:PythonNOASSERTION000

distributed_tictactoe_JMS

Common tic tac toe game implemented using JMS system

Language:Java000

dropbox-like-client-erlang

Client for the dropboxlike application developed in erlang

Language:Erlang000

dropbox-like-corba

Dropbox-like application using java-CORBA (jacORB).

Language:Java020

extended_apis

Intel's VT-x / VT-d APIs for the Bareflank hypervisor

Language:C++MIT000

extended_apis_example_hook

example of how to hook a function using the Bareflank hypervisor and EPT

Language:C++MIT000

filter_comments

Program that filters comments for Computer Numerical Control Programs

Language:Rust000

necst-beamer-template

The official LaTeX beamer template.

GPL-3.0000

packsan

Automatically exported from code.google.com/p/packsan

Language:C010

panda

Platform for Architecture-Neutral Dynamic Analysis

Language:C000

PrivilegeSeparation-allocator

Allocator for PrivilegeSeparation Project

Language:C000

PrivilegeSeparation-chardev

Char device for Trellis project

Language:C000

PrivilegeSeparation-clang

PrivilegeSeparation APIs using LLVM suite and the linux kernel

Language:C++NOASSERTION000

PrivilegeSeparation-kernel

PrivilegeSeparation kernel

Language:CNOASSERTION000

PrivilegeSeparation-llvm

PrivilegeSeparation APIs using LLVM suite and the linux kernel

Language:C++NOASSERTION000

PrivilegeSeparation-login

Language:C000

PrivilegeSeparation-test

PrivilegeSeparation APIs using LLVM suite and the linux kernel

Language:C++000

s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

Language:C++NOASSERTION000

seco-p2p

Automatically exported from code.google.com/p/seco-p2p

Language:Java000

software_engineering2_jboss_j2ee

Final version of the project of Software Engineering 2 class. J2EE and JBoss

Language:Java000