Haoxin comments

Repositories
Issues
Comments

Results 5 comments of


                                            Haoxin

How to express the result as probability？

@initeasylife I have the same question, Did you solved it?

Regression: KLEE may miss use-after-free in call to libc function (detected correctly in 1.4)

Hi, Following the above comments, may I add one more case that makes KLEE miss the UAF detection? The problem is why KLEE treats differently on `char` and `wchar_t` data...

cargo build failure for grammartec #![feature] may not be used on the stable release channel

@zjuchenyuan 朋友你好，nautlius这个项目代码你跑成功了吗？

add comments to use C4 as learning resources

Awesome!!!

Whether challenge can be compiled separately？

Hi @MaggieCwj, in my previous experiments, I just keep the interesting challenges and remove others in the `challenges` folder to analyze only the wanted challenges as we need.