Pasture

Pasture consists of:                                                            
  1) LLVM passes for profiling and release steps                                
  2) A runtime library to support those passes                                  
  3) An offline datalog component                                               
  4) Learning scripts                                                           
                                                                                
Its main objective is to reduce the attack surface of software at runtime. To   
do this, it predicts and enables only forthcoming code, and it handles          
mispredictions by checking against statically computed invariants.