Swaroop Maddu

icon indicating a website link swaroopmaddu.com icon indicating an email [email protected]

icon company @otter-sec icon location Hyderabad icon location Developer @otter-sec | Blockchain Dev | Solana

Results 1 comments of Swaroop Maddu

Add proper support to C-FFI calls

I'm also getting the same error while trying to run a harness `Failed Checks: call to foreign "C" function dlsym is not currently supported by Kani. Please post your example...