Cover Image
QR Code

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...

Full description

Published in:Communications of the ACM Vol. 66; no. 4; pp. 40 - 48
Main Authors: NAVAS, JORGE A., GEHANI, ASHISH
Format: Article
Published: Association for Computing Machinery Apr2023
Subjects:
occam (Computer program language)
Software architecture
Compilers (Computer programs)
Modular programming
Interpreters (Computer programs)
Online Access:View this record in EBSCOhost
Summary: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.