Search results

Move definitions inside ebpf_vm_isa.hpp out of prevail namespace

Status: Open.

#876 In vbpf/prevail;

· Alan-Jowett opened on Apr 15, 2025

Unused variable in get_(un)signed_intervals

Status: Open.

#875 In vbpf/prevail;

· elazarg opened on Apr 15, 2025

Unused variable in assume_signed_32bit_eq

Status: Open.

#874 In vbpf/prevail;

· elazarg opened on Apr 15, 2025

Add support for static callback functions (used by bpf_for_each_map_elem, bpf_user_ringbuf_drain, bpf_timer_set_callback)

Status: Open.

#797 In vbpf/prevail;

· Alan-Jowett opened on Nov 18, 2024

Count down loop termination check is wrong

Status: Open.

#785 In vbpf/prevail;

· Alan-Jowett opened on Nov 9, 2024

Pathological BPF program can force long veriifcation times

Status: Open.

#783 In vbpf/prevail;

· Alan-Jowett opened on Nov 9, 2024

Support additional 64bit immediate instruction modes

Status: Open.

#763 In vbpf/prevail;

· Alan-Jowett opened on Oct 28, 2024

assert(!intv.is_bottom()) in void SplitDBM::set(const variable_t x, const interval_t& intv)

Status: Open.

#760 In vbpf/prevail;

· Alan-Jowett opened on Oct 26, 2024

Cilium program parsing fails due to relocation map bug

Status: Open.

#747 In vbpf/prevail;

· jetafese opened on Oct 18, 2024

Verification error with packet sizes that are greater than 65535

Status: Open.

#738 In vbpf/prevail;

· xfoukas opened on Oct 17, 2024

Expose API to compare abstract state to concrete state

Status: Open.

#728 In vbpf/prevail;

· Alan-Jowett opened on Oct 14, 2024

Improve verifier failure debugging experience by interleaving lines of code in the output more

Status: Open.

#688 In vbpf/prevail;

· Austin-Lamb opened on Sep 25, 2024