Formal Guardian of Code Quality
Sourcebrella Pinpoint detects numerous types of code defects and security flaws before they cause data breaches and application crashes.
PLDI'18 research paper
introduction to the mechanism of source-sink engine of Pinpoint.
ICSE'19 research paper
introduction to the mechanism of state-machine engine of Pinpoint.
Th Sourcebrella team has engineered a number of high quality SCA checkers that cover the needs of development, testing, security and evaluation. And through cooperation with government and enterprise customers, we integrated the world's top static analysis capabilities with real world R&D work flows. Make static analysis capabilities not only play a role in code checking scenario, but also further applied in program verification, code search, compilation acceleration, and micro-service management.