search

intel / hyperscan

High-performance regular expression matching library
https://www.hyperscan.io
Other
4.78k stars 710 forks source link

Expression '0' is an invariant expression #182

Open QiAnXinCodeSafe opened 5 years ago

QiAnXinCodeSafe commented 5 years ago

https://github.com/intel/hyperscan/blob/4cebdaa435f1f52e96450e066937b3835b9b7047/src/nfagraph/ng_som.cpp#L2287

the same issues:

https://github.com/intel/hyperscan/blob/4cebdaa435f1f52e96450e066937b3835b9b7047/src/nfagraph/ng_som_util.cpp#L196

https://github.com/intel/hyperscan/blob/4cebdaa435f1f52e96450e066937b3835b9b7047/src/nfagraph/ng_violet.cpp#L455

Nor7th commented 5 years ago

Hi, Can you provide your rule and testing command/code ?

QiAnXinCodeSafe commented 5 years ago

Hi，Thank you for your quickly feedback, These issues found by our own symbolic-execution-based static analyzer.