branch created
wip: core rewrite
added path generation POC
path selection improved
TypeSlicer POC
more wip
Type Slicer more or less working
TypeSlice almost working
Stack, Global and Heap pointers detected
wip
updated two-loops example
PathGenerator class + wip
wip
primitive detection of parameter implemented + wip
wip: parameter detection
wip: path generation
fixed abo4 typo
parameter detection working
merged
improved BAP parsing + fixes