Pinpoint is a revolutionary static bug finding technique invented in the Cybersecurity Laboratory of HKUST. It is capable of finding programming errors of many sorts, including both quality and security bugs, in C/C++/Java code. Pinpoint can check tens of millions of lines of code with high precision. The key design of Pinpoint is described in this PLDI 2018 paper and Pinpoint is being commercialized by HKUST students through Sourcebrella. In the box below, you can interact with Pinpoint by pasting your own code and asking Pinpoint to find errors for you. For checking larger projects, you can download a desktop version of Pinpoint. To use the online demo, please make sure your code is self-contained and compilable.
Click the button to view all supported vulnerabilities for checking.
Should you have any question, please feel free to contact us