Updated the classification by failed and unsafe

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixed bug related to invalidObjectFortes

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixed some bugs related to lib

Signed-off-by: Herbert <herberthb12@gmail.com>
Removed the option -preprocess from CPAChecker execution

Signed-off-by: Herbert <herberthb12@gmail.com>
Updated count score in svcop_simulation.py

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixed some bugs in the lib

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixed bugs related to function IS_VALID_POINTER_FORTES

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixed bugs related to function IS_VALID_POINTER_FORTES about block address

Signed-off-by: Herbert <herberthb12@gmail.com>
Added new test case with bug

Signed-off-by: Herbert <herberthb12@gmail.com>
Applied new features to fix bugs

Signed-off-by: Herbert <herberthb12@gmail.com>
Minor updates

Signed-off-by: Herbert <herberthb12@gmail.com>
Merge branch 'svcomp_fix_bug'