menu

Case Study

Here is the descriptions of case study.



1: Type-1 misuse bug

2: Safe inter-component ARP usage

3: Type-2 bug in TPL

4:Countermeasure against permission evolution

ready for editing