Discrepancy with DEEPSEA

DeepseaPlatform / coastal

Concolic analysis tool for Java

https://deepseaplatform.github.io/coastal/

Apache License 2.0

21 stars 9 forks source link

Discrepancy with DEEPSEA #8

Closed jacogeld closed 5 years ago

jacogeld commented 6 years ago

At the moment, the number of paths reported by COASTAL and DEEPSEA does not agree. This is probably due to a broken PathTree implementation in DEEPSEA. Needs to be corrected.

jacogeld commented 5 years ago

Persistent bug that needs to be addressed. Not common and we aim to fix it for the next milestone.

jacogeld commented 5 years ago

DEEPSEA and COASTAL have now diverged so far that it is no longer reasonable to use the same implementation of PathTree for both systems. In the future, if feasible, the PathTree implementation of DEEPSEA should be fixed; for now we shall assume that its path count is wrong or simply a different interpretation. It should be noted that the disagreement is not apparent for simply SUTs.