Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

Multilingual Program Analysis

biblio

Visible to the public Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis

Submitted by aekwall on Sun, 10/16/2022 - 6:26pm
  • static analysis
  • Operational analysis
  • Multilingual Program Analysis
  • Language Interoperability
  • Java native interface
  • • Software and its engineering → Automated static analysis
  • static code analysis
  • Computer bugs
  • software engineering
  • Reliability
  • Java
  • Semantics
  • composability
  • Human behavior
  • Resiliency
  • pubcrawl
  • feature extraction

Terms of Use  |  ©2023. CPS-VO