Sirui Mu

Results 108 comments of Sirui Mu

So here are the problems that need to be fixed and problems that are still unresolved after the first round of review: # Fixes WIP - [x] Change the pattern...

The development status of the pattern formatters are now tracked in PR #12.

I'm fuzzing nodejs using a strategy similar to micro-fuzzing, i.e. the individual functions inside nodejs is tested directly rather than the whole program (More precisely, it is the functions that...

@vanhauser-thc thanks for your advice. I have modified it and the forkserver no longer crashes (at least for a while). I wonder another question: why is AFL_PERSISTENT discarded? I know...

Thanks for your reply. I'm glad to try to help implement this draft. I think I can work on a new sub-module named `experimental` where all the new stuff goes....

Hi. I have forked your repo to https://github.com/Lancern/Static-Program-Analysis-Book. You can track my progress from the [project page](https://github.com/Lancern/Static-Program-Analysis-Book/projects/1) in the forked repo. To take the first step, I'm going to refactor...

在 `README.md`: > 在理论部分,考虑的是如何设计一个语言的语法和语义,如何设计语言的类型系统等等问题;有了语言的语法、语义和类型系统之后,我们需要支撑语言的运行。因此,在环境部分,需要考虑如何为运行中的程序提供运行时环境——如何设计编译器,在运行时需要怎样的支持(如内存的分配管理)等等;应用部分则关注如何保证语言所写出程序的效率、安全性和可靠性,主要考虑如何对程序进行分析,验证和合成(如何自动合成一个程序)。 这一段话好像缺主语?

> I'd like to try to split the current trait Pattern into two concepts, struct Pattern + trait PatternEntity (or PatternFlag or other name?). I'd argue that this actually limits...

Besides, maybe we can define a new filter named `constant` or similar that injects constants in the `and` chain: ```rust pub fn constant(value: T) -> impl Filter + Copy; warp::path!("path")...

> Should we pass a &mut PathBuf to before_file_open handler to allow users to change the file path? I don't think this is necessary since you can change the path...