→
augure and lictor: deciding an exploitation and accounting for it
Every exploitation framework knows how to launch a technique. None can tell you which one to launch, why and prove it. augure decides and accounts for it, lictor goes from the decision down to the bytes and executes and every move replays. Twenty years of reasoning, two tools, zero black box.