Tags
- software，static analysis
- program
- pointer analysis
- context sensitivity
- call site
- taint analysis
- datalog
- CFL-Reachability
- IFDS
- Soundiness
- Live Variables Analysis，static analysis
- Available Expressions Analysis
- call graph
- CHA
- interprocedural control flow
- mali
- android gpu
- mem_alloc
- mem_alias
- linux kernel
- vscok
- kernel
- heap
- slab
- kmem_cache，poll_list
- user_key_payload
- tty
- seq_operation
- cache
- uaf
- Cross-Cache attack
- pagetable
- dma_buf_heap
- AFL++
- arb_read
- arb_write
- modprobe
- msg_msg
- cred
- task_struct
- FG-KASLR
- iot
- ivanti
- kmem_cache
- klee
- static analysis
- symbolic execution
- windows kernel，SMB，srv，srvnet
- LLM
- prompt injection
- jailbreak
- netlink
- fuzz，LLM
- fuzz
- path-eval
- afl-training-workshop
- UBfuzz
- pixel
- tlstream
- codeql
- angr
- fortigate
- pytorch
- AFL，fuzz101，fuzz
- envfuzz
- ebpf
- llvm，LLVM IR，optimization
- evince
- contest
- llvm，ebpf
- blockchain，solidity
- windows，winpwn，stack，gs，SEHOP
- SEH
- SafeSEH
- windows，winpwn， stack，gs， ntdll，ucrtbase
- ret2usr
- UAF
- off-by-one
- rop