权威例句
Testing Inexecutable Conditions on Input Pointers in C Programs with SANTEAUTOMATIC SEARCH OF LOCAL VARIABLES AND ARGUMENTS OF PROCEDURES INEXECUTABLE CODE DURING COMPUTATIONAL PROCESS VERIFICATION STAGEEmbedding certifications in executable files for network transmissionStatic Detection of Malicious Code in Executable ProgramsMultiple instances and symbolic variables in executable sequence chartsMultiple instances and symbolic variables in executable sequence chartsYou Can Run but You Can't Read: Preventing Disclosure Exploits in Executable CodeYou Can Run but You Can't Read:Preventing Disclosure Exploits in Executable CodeMethod of, and system for, heuristically detecting viruses in executable codeMeta-Reasoning in Executable Temporal Logic
