Br1m4zz

the sequence of ID on the same route is different when confronted with some MRnode: WPA's output in SVG: ``` 1(stmtnode)->2(stmtnode)->3(FormalinVFGnode) ``` my analysis： ``` 1(stmtnode)->2(stmtnode)->5(FormalinVFGnode) ``` the problem just...

I am very fond of your work on protocol fuzz testing, and I am currently attempting to optimize nyx-net. In nyx-net, the transmission of prefix messages is achieved through taking...

False positive of indirenct call in openssl

3

Target: OPENSSL False positive site: function ptr e->destroy should not point to ossl_statem_accept BC available for further analyse. Here's my propogation result: ``` ..... >>>>>>>>>>>>> print_route_find_alloca_gep >>>>>>>>>>>>>>>> LoC:{ 0th arg...

I'm trying to fuzz openSSH's other version, I found that the openSSH you provide in this repo is compress built binary. I tried to build in source but failed.( The...