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

diagnostic rules

biblio

Visible to the public Detecting the Use of Unsafe Data in Software of Embedded Systems by Means of Static Analysis Methodology

Submitted by grigby1 on Fri, 02/22/2019 - 4:10pm
  • pubcrawl
  • unsafe data
  • Syntactics
  • syntactic information
  • static program code analysis
  • static code analysis
  • static analysis methodology
  • static analysis
  • software quality
  • Semantics
  • semantic information
  • Resiliency
  • composability
  • program diagnostics
  • program code
  • potentially unsafe data
  • Indexes
  • increase of efficiency
  • Human behavior
  • embedded systems
  • embedded computing
  • diagnostic rules
  • Containers
biblio

Visible to the public The approach to finding errors in program code based on static analysis methodology

Submitted by grigby1 on Thu, 06/07/2018 - 3:12pm
  • semantic information
  • tools
  • testing
  • syntax tree
  • Syntactics
  • syntactic information
  • static program code analysis
  • static code analysis methodology
  • static code analysis
  • source code (software)
  • source code
  • software quality
  • Semantics
  • Bars
  • Resiliency
  • resilience
  • pubcrawl
  • program diagnostics
  • program code Error detection
  • increase of efficiency
  • Human behavior
  • embedded computing
  • efficiency improvement
  • diagnostic rules
  • composability

Terms of Use  |  ©2023. CPS-VO