1. Resources
  2. Lectures
  3. Week 9
  4. Lecture: Abstract Interpretation for Code Analysis and Verification

Lecture: Abstract Interpretation for Code Analysis and Verification

View in browser Download

Resource created Wednesday 24 July 2024, 03:37:50 PM, last modified Wednesday 07 August 2024, 10:29:02 AM.

file: 8.abs-code.pdf

Back to top

COMP6131 24T2 (Software Security Analysis) is powered by WebCMS3
CRICOS Provider No. 00098G