smartnic superopt issues

smartnic / superopt

A superoptimizing compiler for packet-processing

MIT License

30 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Identifying independent unsafe behaviors

#112 vaishnaviMG15 opened 2 years ago
0
Implementing bpf safety model 1 and adjusting code to take an unsafe program and use only safety cost to guide search

#111 vaishnaviMG15 closed 2 years ago
0
Bpf repair

#110 vaishnaviMG15 closed 2 years ago
0
Revert "Katran"

#109 QiongwenXu closed 3 years ago
0
Katran

#108 QiongwenXu closed 3 years ago
0
Add instructions to compile BPF C input files

#107 ngsrinivas opened 3 years ago
0
Renew instructions to build the compiler

#106 ngsrinivas opened 3 years ago
0
Failure on startup (z3server connection failure and illegal original program)

#105 SeanHeelan closed 3 years ago
1
Master multi server

#104 QiongwenXu closed 3 years ago
0
Mikew output binary

#103 QiongwenXu closed 3 years ago
1
Padding instruction sequence with JA 0

#102 michaeldwong opened 3 years ago
0
Multi-server z3 validation

#101 WagleTanvi closed 3 years ago
0
Creating Different Ports for every process

#100 WagleTanvi closed 4 years ago
0
Ebpf window_based equivalence check

#99 QiongwenXu closed 3 years ago
0
Different Ports for Each Server

#98 WagleTanvi closed 4 years ago
1
zombie z3server processes

#97 ngsrinivas opened 4 years ago
0
Z3server

#96 ngsrinivas closed 4 years ago
0
bpf verifier: not able to store an immediate number into a register memory if reg type is PTR_TO_CTX

#95 QiongwenXu opened 4 years ago
0
set r1-r5 as unreadable after function calls or skb opcode (ldabs/ldind)

#94 QiongwenXu opened 4 years ago
0
there are pointers in __sk_buff

#93 QiongwenXu opened 4 years ago
0
ldind(size) and ldabs(size) memory is not the same as input

#92 QiongwenXu opened 4 years ago
0
BPF_FUNC_get_prandom_u32 limitation

#91 QiongwenXu opened 4 years ago
0
tail call function is considered as successful

#90 QiongwenXu opened 4 years ago
0
[NOT for merging]Code review

#89 QiongwenXu closed 4 years ago
0
Don't hardcode paths to Z3. Makefile uses Z3 system headers in some places and local build in others

#88 santoshn opened 4 years ago
0
Segfault when -n is not used

#87 michaeldwong opened 4 years ago
0
Ebpf map 7

#86 QiongwenXu closed 4 years ago
0
Ebpf map 6

#85 QiongwenXu closed 4 years ago
0
Ebpf map 5

#84 QiongwenXu closed 4 years ago
0
interpret a program with the same input for multiple times, the output register is different if the output register is the value of memory address

#83 QiongwenXu opened 4 years ago
0
interpret supports calling map helper functions and setting input memory && validator supports map helper functions

#82 QiongwenXu closed 4 years ago
0
map helper functions(lookup/update/delete) for interpreter

#81 QiongwenXu closed 4 years ago
0
map equivalence check

#80 QiongwenXu closed 4 years ago
0
bpf map helper functions for validator 2

#79 QiongwenXu closed 4 years ago
1
bpf map helper functions for validator 1

#78 QiongwenXu closed 4 years ago
0
add read before write logic in predicate_ld_byte

#77 QiongwenXu closed 4 years ago
1
memory equivalence check

#76 QiongwenXu closed 4 years ago
0
Modify for experiments

#75 QiongwenXu closed 4 years ago
0
modify exponential calculation

#74 QiongwenXu closed 4 years ago
0
Generalize input limits for validation

#73 ngsrinivas opened 4 years ago
0
Modify for experiments

#72 QiongwenXu closed 4 years ago
0
Ebpf stack

#71 QiongwenXu closed 4 years ago
0
Modification according to pr review

#70 QiongwenXu closed 4 years ago
0
need tests to check tables such as num_operands in ebpf inst.cc

#69 QiongwenXu opened 4 years ago
0
need to include more ebpf tests in validator

#68 QiongwenXu opened 4 years ago
0
[WIP] Ebpf backend

#67 QiongwenXu closed 4 years ago
0
Ebpf 2: use g++ flag -D to define types && include header files && modify names in inst files && rm inst pointers

#66 QiongwenXu closed 4 years ago
0
Ebpf: use z3 64-bit bit vector as base type

#65 QiongwenXu closed 4 years ago
0
need to simplify the macros in inst_codegen files

#64 QiongwenXu opened 4 years ago
0
enum opcode values do not reflect the actual opcodes from BPF

#63 QiongwenXu closed 4 years ago
0