TNJ: TrustNoJit

 _____              _   _   _       _ _ _ 
|_   _|            | | | \ | |     (_|_) |
  | |_ __ _   _ ___| |_|  \| | ___  _ _| |_
  | | '__| | | / __| __| . ` |/ _ \| | | __|
  | | |  | |_| \__ \ |_| |\  | (_) | | | |_   
  |_|_|   \__,_|___/\__|_| \_|\___/| |_|\__|
                                  _/ |      
    [T]rust [N]o [J]IT            |__/      

Alternative name: JPP: Jitness Protection Program

This is a work-in-progress project aiming to improve JIT security.

Components

• AIR: Assembly Intermediate Representation
• Symbolic Values
• PCC representation
• AIR -> Sym Eval

lib.rs:

AIR: Assembly Intermediate Representation