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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
API misuses
biblio
FireBugs: Finding and Repairing Cryptography API Misuses in Mobile Applications
Submitted by grigby1 on Mon, 12/20/2021 - 11:30am
Conferences
Software
security
Resiliency
resilience
pubcrawl
program analysis
Mobile Applications
maintenance engineering
Insurance
Cryptography
API
Computer bugs
Compositionality
composability
Companies
Automated Program Repair
Application Programming Interface (API)
application program interfaces
Application program interface
APIs
API misuses
biblio
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs
Submitted by grigby1 on Fri, 08/14/2020 - 11:45am
Domain-Specific Language
application programming interface
lightweight domain-specific language
large-scale C programs
IMSpec rules
API-misuse detection capability
API usage validation
API usage constraints
API misuses
bug detection
API-misuse bugs
application programming interfaces
Syntactics
Semantics
Compositionality
tools
specification languages
public domain software
Computer bugs
application program interfaces
APIs
program diagnostics
program debugging
static analysis
Software
Resiliency
resilience
pubcrawl
Engines
