Removed unused imports

Signed-off-by: Herbert <herberthb12@gmail.com>
Added support to file.i as input to the tool

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

Signed-off-by: Herbert <herberthb12@gmail.com>
Added the identification of the property violated - FALSE(p)

FALSE(p), with p in {valid-free, valid-deref, valid-memtrack}, means that the (partial) property p is violated.

Signed-off-by: Herbert <herberthb12@gmail.com>
Minor changes to test

Signed-off-by: Herbert <herberthb12@gmail.com>
Updated GNU extensions __inline

Signed-off-by: Herbert <herberthb12@gmail.com>
Updates in the test script

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixed bug to generated property label

Signed-off-by: Herbert <herberthb12@gmail.com>
Fixed bug related to path files with spaces

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

Signed-off-by: Herbert <herberthb12@gmail.com>
Re-fixed bug related to path files with spaces

Signed-off-by: Herbert <herberthb12@gmail.com>
Minor changes after the tests

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