fuzzing

AdaCore provides commercial software development tools and support for high-integrity software in Ada/SPARK, C/C++, and Rust. With over 30 years of experience, it offers IDEs, toolchains, static and dynamic analysis tools, formal methods, and certification-ready technology for safety-critical and mission-critical systems across industries including aerospace, defense, rail, automotive, space, medical, and security.

automated unit testingconsultingcustom developmentcustom portscustom runtimesdynamic analysisformal verificationmentorshipmulti-language building and debuggingstatic analysistraining

Canvass Labs is a San Diego-based AI/ML software company developing tools for secure code analysis, vulnerability discovery, and legacy software modernization. It combines static analysis, dynamic testing, fuzzing, code intelligence, and AI-assisted review into a human-in-the-loop workflow for high-trust software environments. The company works through government R&D, teaming partnerships, and selected commercial engagements.

AI/ML software developmentcode intelligencedynamic testinghuman-in-the-loop reviewLLM-assisted reasoningsecure refactoringstatic analysisvulnerability triage

Greysys LLC is a small information security focused research and development company based in Maryland. It offers cyber-focused services to public and private sector agencies and companies with advanced cyber security needs, with engineers experienced in offensive and defensive tactics, techniques, and procedures.

anti-reversing and code protectionsattack reconstructionCNO software developmentcode reviewcomputer and network security assessmentdefensive analyticshost and network forensicsintrusion and malware analysiskernel development and debuggingpenetration testingproof of concept developmentrapid prototypingRed Teamingsoftware reverse engineeringsource code analysistechnical trainingthreat modeling