You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We need to run clang-format, CPP Check, infer, and each function testing and Fuzzing after every commit push to whatever branch
Infer here means the meta infer, which is the static analysis tool for Meta, from their official documents, it can discover thousands of serious issues and bugs before delivery to users.
According to a paper published on PLDI 2021, the current state-of-the-art race detection is the RacerD, part of the Infer project.
How to
The open-source project won't force developers to install specific tools for such work, so we should use GitHub Action to run linting and CVE checking.
We can currently use some self-host runners to build the project and run testing in the promised time.
More Information will be added later.
The text was updated successfully, but these errors were encountered:
Intro
We need to run clang-format, CPP Check, infer, and each function testing and Fuzzing after every commit push to whatever branch
Infer here means the meta infer, which is the static analysis tool for Meta, from their official documents, it can discover thousands of serious issues and bugs before delivery to users.
According to a paper published on PLDI 2021, the current state-of-the-art race detection is the RacerD, part of the Infer project.
How to
The open-source project won't force developers to install specific tools for such work, so we should use GitHub Action to run linting and CVE checking.
We can currently use some self-host runners to build the project and run testing in the promised time.
More Information will be added later.
The text was updated successfully, but these errors were encountered: