- Jun 13, 2024
-
-
Alexander Schaub authored
-
- Jun 10, 2024
-
-
Alexander Schaub authored
-
- Apr 29, 2024
-
-
Alexander Schaub authored
-
Alexander Schaub authored
-
- Apr 07, 2023
-
-
Alexander Schaub authored
Better document how sensitive variables can be indicated via command line arguments, especially the fact that structs can be also specified.
-
Alexander Schaub authored
-
- Apr 05, 2023
-
-
Alexander Schaub authored
Renamed the new arguments to be more consistent with previous argument names (cpp-command instead of cpp_command and similar for the others) and made the functionality work correctly.
-
Alexander Schaub authored
-
Alexander Schaub authored
Added preliminary support for compilation database use + cpp_command and cpp_extra_args options (à la frama-c). Needs more testing but should at least not introduce any regressions
-
Alexander Schaub authored
-
- Mar 24, 2023
-
-
Alexander Schaub authored
-
Alexander Schaub authored
-
Alexander Schaub authored
-
- Sep 10, 2022
-
-
Alexander Schaub authored
-
- Dec 03, 2020
-
-
Alexander Schaub authored
-
- Sep 19, 2020
-
-
Alexander Schaub authored
-
- May 05, 2020
-
-
Alexander Schaub authored
-
Alexander Schaub authored
-
Alexander Schaub authored
Corrected definition for HMAC_Final. Before, the output of a hash function would not depend on the input...
-
Alexander Schaub authored
Implemented call graph generation. It uses the same code as the dependency analysis and is thus slow, but it's better than nothing.
-
Alexander Schaub authored
Corrected issue where the definition of functions references by global function pointers could not be found.
-
- Apr 09, 2020
-
-
Alexander Schaub authored
-
Alexander Schaub authored
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.
-
Alexander Schaub authored
-
Alexander Schaub authored
-
- Apr 01, 2020
-
-
Alexander Schaub authored
Corrected the handling of dependencies of the form struct -> non-struct (i.e. memcpy secret values into a char * casted struct)
-
Alexander Schaub authored
-
- Mar 30, 2020
-
-
Alexander Schaub authored
-
- Mar 27, 2020
-
-
Alexander Schaub authored
Indirection of array-types corrected: array and &array are now (supposed to be) equivalent (fixes #8)
-
- Mar 25, 2020
-
-
Alexander Schaub authored
-
Alexander Schaub authored
-
Alexander Schaub authored
-
Alexander Schaub authored
-
Alexander Schaub authored
-
Alexander Schaub authored
-
Alexander Schaub authored
-
Alexander Schaub authored
-
- Mar 17, 2020
-
-
Alexander Schaub authored
-
- Mar 10, 2020
-
-
Alexander Schaub authored
-
Alexander Schaub authored
-