|
Jitu replied at 16-12-2021 02:05 PM
@kakikuDibibirmu tersenyum sinis
Teringat pulak akak suatu ketika dahulu Microsoft pernah mengeluarkan satu produk bernama Microsoft Cibai
Abstract. We introduce Cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of Java classes. We present the abstract semantics and the underlying abstract domain, a combination of an aliasing analysis and octagons. We discuss some implementation issues, and we compare Cibai with similar tools, showing how Cibai achieves a higher level of automation and precision while having comparable performances.
https://www.microsoft.com/en-us/ ... 2007/01/vmcai07.pdf |
|