[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:

https://source.symbolic.software/verifpal/verifpal/-/commit/90d4f7ace21ecf2ba987cedbc7ae6c59647e4042

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