Oracle Labs Australia Brisbane Australia KAIST Daejeon Republic of Korea;
Oracle Labs Australia Brisbane Australia;
KAIST Daejeon Republic of Korea;
Automatic modeling; Static analysis; Opaque code; JavaScript;
机译:海绵宝宝:以响应静态代码分析警告自动生成修复建议
机译:使用静态分析从SDL手写生成C代码和自动生成C代码之间的比较
机译:value分区:JavaScript的关系静态分析的轻量级方法
机译:javascript静态分析的不透明代码自动建模
机译:JavaScript程序的精确静态分析
机译:静压支撑和超声振动的单点增量成形力建模与分析
机译:在JavaScript Web应用程序的静态分析中为HTML DOM和浏览器API建模
机译:鸿沟:用于改进Fortran 90和C ++互操作性的静态分析和自动代码生成