angr.exploration_techniques.bucketizer¶

class angr.exploration_techniques.bucketizer.Bucketizer¶

Loop bucketization: Pick log(n) paths out of n possible paths, and stash (or drop) everything else.