deleted stack checking function
improved feasible path extraction using gdb
wip: path generation
wip: parameter detection