Broadening horizons of multilingual static analysis: semantic summary extraction from C code for JNI program analysis

Most programming languages support foreign language interoperation that allows developers to integrate multiple modules implemented in different languages into a single multilingual program. While utilizing various features from multiple languages expands expressivity, differences in language semant...

Full description

Saved in:
Bibliographic Details
Main Authors: Lee, Sungho, Lee, Hyogun, Ryu, Sukyoung
Format: Conference Proceeding
Language:English
Subjects:
Computer bugs
Feature extraction
Java
Java Native Interface
Language Interoperability
Multilingual Program Analysis
Operational analysis
Reliability
Semantics
Software and its engineering > Software creation and management > Software verification and validation > Operational analysis
Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Automated static analysis
Software and its engineering → Automated static analysis
Software engineering
Static analysis
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!