Department of Computer Science Stanford University;
Department of Computer Science Stanford University;
Department of Computer Science Stanford University;
heap analysis; relational static analysis; array analysis; memory invariants;
机译:具有需求驱动的内存不变式公理化的符号堆抽象
机译:可执行文件的堆栈内存抽象和符号分析框架
机译:基于需求驱动的符号执行的动态混淆算法
机译:符号堆抽象与需求驱动的记忆不变的公理化
机译:动态语言库的参数堆抽象。
机译:不变理论中的符号法
机译:具有需求驱动的内存不变式公理化的符号堆抽象