argon2- tis-interpreter

# sh /code/run.sh
[value] Analyzing a complete application starting at main
[value] Computing initial state
[value] Initial state computed
/code/src/test.c:59:[value] warning: argument version has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous

Test Argon2i version number: 13


Hash test: $v=19 t=2, m=8, p=1, pass=password, salt=somesalt:
/code/src/core.c:96:[kernel] too many locations to update in array. Approximating.
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous
/code/src/test.c:36:[value] warning: argument (int)out[i] has type int but format indicates unsigned int
[value] warning: Continuing analysis because this seems innocuous

PASS


Recognise an invalid encoding: PASS





Common error state tests


Fail on invalid memory: PASS


Fail on invalid null pointer: PASS


Fail on salt too short: PASS

[value] done for function main