𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008) - Beijing (2008.09.28-2008.09.29)] 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation - Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking

✍ Scribed by Wang, Lei; Zhang, Qiang; Zhao, PengChao

Book ID: 118223754
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 281 KB
Volume: 0
Category: Article
ISBN: 0769533531
DOI: 10.1109/scam.2008.24

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 Eighth IEEE International Wor

[IEEE 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008) - Beijing (2008.09.28-2008.09.29)] 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation - Parfait - A Scalable Bug Checker for C Code

✍ Cifuentes, Cristina 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 507 KB

[IEEE 2008 Eighth IEEE International Wor

[IEEE 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008) - Beijing (2008.09.28-2008.09.29)] 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation - An Empirical Study of Function Overloading in C++

✍ Wang, Cheng; Hou, Daqing 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 255 KB

[IEEE 2008 Eighth IEEE International Wor

[IEEE 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008) - Beijing (2008.09.28-2008.09.29)] 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation - Constructing Subtle Faults Using Higher Order Mutation Testing

✍ Jia, Yue; Harman, Mark 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 334 KB

[IEEE 2008 Eighth IEEE International Wor

[IEEE 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008) - Beijing (2008.09.28-2008.09.29)] 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation - Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering

✍ Mihancea, Petru Florin 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 509 KB

[IEEE 2013 IEEE 13th International Worki

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Code clustering workbench

✍ K M, Annervaz; Kaulgud, Vikrant; Misra, Janardan; Sengupta, Shubhashis; Titus, G 📂 Article 📅 2013 🏛 IEEE ⚖ 232 KB

[IEEE 2013 IEEE 13th International Worki

[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - PtrTracker: Pragmatic pointer analysis

✍ Biallas, Sebastian; Olesen, Mads Chr.; Cassez, Franck; Huuck, Ralf 📂 Article 📅 2013 🏛 IEEE ⚖ 108 KB