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