Assertion list
code (aspect of virus ) → HasProperty
Results from Ascent++: 5
code → HasProperty → complex 0.25
code → HasProperty → unique 0.25
code → HasProperty → valid 0.18
code → HasProperty → malicious 0.16
code → HasProperty → malware 0.16