reformat code
reformat code
integrate monotonefw from doublefree branch manually
successfull integration of monotonefw and doublefree analysis
polish double free output
fix loading of feature models for projects other than busybox and linux
update comments for monotonefw implementation
adapt sampling to new liveness analysis
remove multiple measurements from sampling
remove unnecessary imports
merging origin