tap-explorer

Tree of Attacks with Pruning for systematic code analysis