mkravchik

Reflect line executions count in drcov2lcov output

1

Currently, drcov2lcov does not reflect how many times each line was executed in coverage.info it produces. Just 1 or zero. For real lcov files we get the execution counter for...

Is it possible to create a verified JSON parser with Everest? If not, what the gaps are?

probe makefile is broken on Linux

1

I tried to build the probe project following its README - and it's broken. Besides EVERPARSE_HOME, other environment variables are missing (FSTAR_HOME, KRML_HOME). Moreover, 3d is running fstart.exe from bin...

Hi, I'm looking for an idea for a simple undergrad student project utilizing the parsers produced by EverParse. Neither myself nor the students have used it before and have background...

Docker build fails

3

I tried to follow the instructions for a local build using Docker and it fails: docker run --rm -it -v .:/src fuzz-introspector:Dockerfile + BASE=/src + BUILD_BASE=/src/build + [ -d /src/build...

Authentication and access control support

1

Hi, Are there any plans to add authentication and access control to the Crypto API? If yes, are there any drafts on how they will be integrated? If not, why...

Currently, if Frida Asan detects an error, the handling of is not working correctly. Without continue-on-error, it panics after reporting the error. However, as this is done from inside the...