everparse
everparse copied to clipboard
project-everest
Automated generation of provably secure, zero-copy parsers from format specifications
Need directions on improving code quality
Inside EverParseDefaultErrorHandler getting unused symbol warning for uint8_t *Input. Inside EverParseErrorFrame there is no assignment to "Input". `static inline void EverParseDefaultErrorHandler( PrimsString TypenameS, PrimsString Fieldname, PrimsString Reason, EverParseErrorFrame *Context, uint8_t...
EverParse generated code should compile /W4 /WX clean. Code in https://github.com/microsoft/ebpf-for-windows/ is expected to compile with /W4 /WX, but the code generated by EverParse is not /W4 clean.
This PR resolves #68 , by clarifying the behavior of EverParse for the following example (expected to fail): ``` $ cat test1.3d entrypoint typedef struct _point { UINT16 x; UINT16...
Working: ``` type Test.3d entrypoint typedef struct _point { UINT16 x; UINT16 y; } point; everparse.cmd Test.3d ``` Broken: ``` type test1.3d entrypoint typedef struct _point { UINT16 x; UINT16...
If I run `make -C src/3d/tests/extern -j 4` on Cygwin with the mingw64 C compiler, I get the following error message: ``` make[3]: *** No rule to make target 'obj/TestWrapper.h',...
I've done a experimental tool to convert bison grammars to a kind of EBNF understood by https://www.bottlecaps.de/rr/ui to generate railroad diagrams see bellow the converted `src/3d/ocaml/parser.mly` and with some hand...
# Motivation Coming up with a domain-specific language for formally verified parsing and serialization at the right level of abstraction with runtime efficiency in mind is much larger a research...
It looks like fstar.exe is expected to be in a certain location? ~~~ /bin/sh: ../../../FStar/bin/fstar.exe: No such file or directory make[1]: *** [.depend] Error 127 ~~~
Metadata
Owner
Metadata
Automated generation of provably secure, zero-copy parsers from format specifications