Search results

Identifying independent unsafe behaviors

Status: Open.

#112 In smartnic/superopt;

· vaishnaviMG15 opened on Aug 13, 2022

Add instructions to compile BPF C input files

Status: Open.

#107 In smartnic/superopt;

· ngsrinivas opened on Jul 28, 2021

Renew instructions to build the compiler

Status: Open.

#106 In smartnic/superopt;

· ngsrinivas opened on Jul 28, 2021

Padding instruction sequence with JA 0

Status: Open.

#102 In smartnic/superopt;

· michaeldwong opened on Jan 18, 2021

zombie z3server processes

Status: Open.

#97 In smartnic/superopt;

· ngsrinivas opened on Sep 9, 2020

bpf verifier: not able to store an immediate number into a register memory if reg type is PTR_TO_CTX

Status: Open.

#95 In smartnic/superopt;

· QiongwenXu opened on Sep 6, 2020

set r1-r5 as unreadable after function calls or skb opcode (ldabs/ldind)

Status: Open.

#94 In smartnic/superopt;

· QiongwenXu opened on Aug 31, 2020

there are pointers in __sk_buff

Status: Open.

#93 In smartnic/superopt;

· QiongwenXu opened on Aug 31, 2020

ldind(size) and ldabs(size) memory is not the same as input

Status: Open.

#92 In smartnic/superopt;

· QiongwenXu opened on Aug 31, 2020

BPF_FUNC_get_prandom_u32 limitation

Status: Open.

#91 In smartnic/superopt;

· QiongwenXu opened on Aug 31, 2020

tail call function is considered as successful

Status: Open.

#90 In smartnic/superopt;

· QiongwenXu opened on Aug 31, 2020

Don't hardcode paths to Z3. Makefile uses Z3 system headers in some places and local build in others

Status: Open.

#88 In smartnic/superopt;

· santoshn opened on Jul 22, 2020