[Verifpal] CONCAT function

Nadim Kobeissi nadim at symbolic.software
Sat Nov 28 19:46:48 CET 2020

Dear Mike,

Thank you for reporting this bug. This has now been fixed here:


The fix will be included in the next Verifpal update.

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On Nov 23, 2020, at 8:16 PM, Mike via Verifpal <verifpal at lists.symbolic.software> wrote:
> hi all,
> Via attached file I found CONCAT function has unique superpower ability to hide result from attacker automatically.
> In general this is suspicious behavior for me.
> (mike)
> <dull.vp>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal

More information about the Verifpal mailing list