Program analysis; Fuzzing; Protocol parsers;
机译:对具有高度结构化输入的程序进行基于语法的结构化模糊测试
机译:用于命令式编程语言静态分析的符号分析框架
机译:在科特迪瓦实现无艾滋病一代,艾滋病毒/艾滋病应对方案的数据驱动政策设计:科特迪瓦艾滋病毒/艾滋病应对方案的循证政策设计
机译:静态程序分析作为模糊辅助
机译:专业化动态程序分析和随机模糊测试的抽象和算法
机译:布鲁氏锥虫的静态离心测定法可帮助命中优先级以进入药物开发计划
机译:静态程序分析作为模糊辅助工具
机译:程序维护辅助使用静态数据流分析技术