update comments
renaming refactoring: fileconfig -> singleconf
remove unnecessary import
use empty feature model for liveness analysis
add dataflow analysis that checks whether free is called with memory that was not allocated dynamically via malloc or realloc