A novel flow-sensitive type and effect analysis for securing C code.

Syrine Tlili, Mourad Debbabi

Browse the full AICCSA paper archive.