Alan Jowett

Results 73 issues of Alan Jowett

**Description** Consider moving this code [wer_report.cpp](https://github.com/Alan-Jowett/ebpf-for-windows/blob/issue991/tests/libs/util/wer_report.cpp) into catch2. Along with [Local Dump Collection](https://docs.microsoft.com/en-us/windows/win32/wer/collecting-user-mode-dumps) this will allow for automatically gathering triage dumps when fatal error occur in a test. **Additional context**...

btf_parse_line_information should reject BTF line info data if line_info_record_size < sizeof(bpf_line_info_t).

array_domain_t only tracks bits in a predefined range, but ebpf_domain_t::do_load_stack attempts to track invalid stack access. ``` verifier_fuzzer.exe!std::bitset::_Validate(unsigned __int64 _Pos) Line 72 C++ verifier_fuzzer.exe!std::bitset::operator[](unsigned __int64 _Pos) Line 85 C++ >...

Blocked on: #345 Once coveralls.io can post status updates on PRs we should get rid of the code that posts to codecov.io.

Coverals.io is showing the project status for all code in the project, including code from sub-modules and test code. Need to determine how to get lcov to exclude these folders...

Use verifier to identify dependent reads that require speculative load hardening The verifier has the context required to identify dependent loads that require speculative load hardening. Rather than rebuild this...

[BPF_MAP_TYPE_RINGBUF](https://www.kernel.org/doc/html/latest/bpf/ringbuf.html) exposes the following helper functions: 1) bpf_ringbuf_reserve 2) bpf_ringbuf_commit 3) bpf_ringbuf_discard The semantics are that bpf_ringbuf_reserve reserves a record in the ring buffer and the BPF program is required...

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.

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...

Before I make the effort to write a grammar for parsing Intel style assembly for [eBPF](https://ebpf.foundation/), I was wondering if there is already one available? Goal: I need a grammar...

new-grammar