GitLab

Corrected definition for HMAC_Final. Before, the output of a hash function would not depend on the input...

Implemented call graph generation. It uses the same code as the dependency analysis and is thus slow, but it's better than nothing.

Corrected issue where the definition of functions references by global function pointers could not be found.

Changes function priority: when multiple definitions for the same function are encountered, the first one is kept. This allows to specify the variants one wishes to be considered as command line arguments of the script.

Corrected the handling of dependencies of the form struct -> non-struct (i.e. memcpy secret values into a char * casted struct)

Indirection of array-types corrected: array and &array are now (supposed to be) equivalent (fixes #8)

Corrected the way ignored variables are handled. They can be specified using variable / field names or struct types.

Changed the was ignored variables are handled, to make it easier to implement passing variables considered as secret via command line. TODO: fully implement the syntax to handle structure and structure fields.

When coloring the sensitive variable fails, a non-colored line is displayed instead of a blank. TODO: determine why coloring the variable fails.

Local scoped is correctly cleaned now. TODO: adapt the code for statement-expressions, which are now broken.

Avoid warnings when functions expecting a (pointer on) structure-type arguments are called with NULL