Imagen de Portada
Código QR

OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization.

The article offers information on OCCAM-v2, a hybrid programming language that combines static analysis and dynamic analysis. The authors note that this tool is an extension of their earlier tool named OCCAM. Topics include the LLVM compiler, optimization of intrafunction analysis, and OCCAM-v2's de...

Descripción completa

Publicado en:Communications of the ACM Vol. 66; no. 4; pp. 40 - 48
Autores principales: NAVAS, JORGE A., GEHANI, ASHISH
Formato: Artículo
Publicado: Association for Computing Machinery Apr2023
Materias:
occam (Computer program language)
Software architecture
Compilers (Computer programs)
Modular programming
Interpreters (Computer programs)
Acceso en línea:Ver este registro en EBSCOhost
Sumario:The article offers information on OCCAM-v2, a hybrid programming language that combines static analysis and dynamic analysis. The authors note that this tool is an extension of their earlier tool named OCCAM. Topics include the LLVM compiler, optimization of intrafunction analysis, and OCCAM-v2's deployment context analysis (DCA). Evaluating the effectiveness of the tool for software winnowing is also discussed.