- Static & dynamic analysis
- KUBO: Precise and Scalable Detection of User-triggerable Undefined Behavior Bugs in OS Kernel (NDSS'21)
- Statically Inferring Performance Properties of Software Configurations (EuroSys'20)
- Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions (PLDI'19)
- ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems (FAST'19)
- Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures (SOSP'15)
- COZ: Finding Code that Counts with Causal Profiling (SOSP'15)
- Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems (OSDI'14)
- Do Not Blame Users for Misconfigurations (SOSP'13)
- Dynamic taint analysis
- DECAF++: Elastic Whole-System Dynamic Taint Analysis (RAID'19)
- All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) (S&P'10)
- Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software (NDSS'05)
- Program Slicing
- Programmers use slices when debugging (Communications of the ACM 1982)
- Program slicing (ICSE 1981)
- Program Analysis Tools
-
Notifications
You must be signed in to change notification settings - Fork 0
data-storage-lab/Program-Analysis
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published