add Facebook Infer to analyze the source code as a test.

uw-pluverse / perses

language-agnostic program reducer.

GNU General Public License v3.0

162 stars 22 forks source link

Closed chengniansun closed 3 years ago

chengniansun commented 3 years ago

chengniansun commented 3 years ago

This probably will not work, due to our build system bazel.