# 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](./crates/air/)
- [Symbolic Values](./crates/sym)
- [PCC representation](./crates/pcc)
- [AIR -> Sym Eval](./crates/eval)