Whiteboxfuzzingisaformofautomaticdynamictestgeneration,basedonsymbolicexecutionandconstraintsolving,designedforsecuritytestingoflargeapplications.Unfortunately,thecurrenteffectivenessofwhiteboxfuzzingislimitedwhentestingapplicationswithhighly-structuredinputs,suchascompilersandinterpreters.