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

(sub-)object bounds errors

biblio

Visible to the public EffectiveSan: Type and Memory Error Detection Using Dynamically Typed C/C++

Submitted by aekwall on Mon, 12/16/2019 - 1:47pm
  • bounds checking
  • use-after-free errors
  • Type errors
  • type confusion
  • type checking
  • sanitizers
  • memory errors
  • low-fat pointers
  • dynamic types
  • Human behavior
  • (sub-)object bounds errors
  • Data Sanitization
  • Compositionality
  • C
  • C++
  • resilience
  • privacy
  • pubcrawl

Terms of Use  |  ©2023. CPS-VO