Code analysis and rewriting for data debloating and improved fuzz testing