search

cvs77 / jchord

Automatically exported from code.google.com/p/jchord
1 stars 2 forks source link

reduce size of domain P by removing unnecessary *CHECK quads (like NULL_CHECK) #20

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Here is the fraction of *CHECK quads in domain P for test/bench/hsqldb using 
chord.scope.exclude="" and chord.scope.kind=rta_reflect:

NULL_CHECK: 305059
ZERO_CHECK_I: 79
ZERO_CHECK_L: 20
BOUNDS_CHECK: 228619
ASTORE_CHECK: 80965
size of domain P: 1369748

Close to 40% of all quads are *CHECK quads.  These quads do not have 
counterparts in bytecode, and most analyses are unlikely to use them either.  
Their presence however is slowing existing analyses like the datarace checker.  
So suppress these *CHECK quads from being generated by joeq.

Original issue reported on code.google.com by mayur.naik on 23 Jun 2010 at 8:43

GoogleCodeExporter commented 9 years ago 
fixed in r857

Original comment by mayur.naik on 23 Jun 2010 at 10:21