Detecting missing-check bugs via semantic- And context-aware criticalness and constraints inferences

Kangjie Lu, Aditya Pakki, Qiushi Wu

USENIX Security Symposium · 2019 · 39 citations · 0 references

Concepts