Splint

swMATH18405MaRDI QIDQ30245FDOQ30245

Author name not available (Why is that?)

Official website: http://www.splint.org/

Cited In (5)

• Title not available (Why is that?)
• Are the logical foundations of verifying compiler prototypes matching user expectations?
• Flawfinder
• VulDeePecker
• A memory-related vulnerability detection approach based on vulnerability model with Petri Net

This page was built for software: Splint