Hood Security Logo Hood Security
Advanced Cybersecurity Solutions

Engineering the Future of
Application Security

Hood Security, LLC is the proud developer and provider of Pragmatic Scanner, setting the gold standard for Ada Static Application Security Testing (SAST). We empower developers to build robust, secure systems.

Explore Pragmatic Scanner View Jon Hood's Profile

Pragmatic Scanner

Developed entirely in-house by Hood Security, Pragmatic Scanner is designed to analyze complex Ada codebases, identifying vulnerabilities before they reach production. Seamlessly integrate security into your DevSecOps pipeline.

  • Unmatched precision in static analysis
  • 🛡️
    Comprehensive vulnerability detection for Ada
  • 🔄
    Seamless CI/CD & DevSecOps integration
Learn more about our flagship tool
package Pragmatic_Analysis is

  type Vulnerability is record
    Severity : String;
    Location : String;
  end record;

  function Analyze_Source(Code : String) return Vulnerability;

end Pragmatic_Analysis;