dynamic analysis

Aarno Labs is an MIT-founded computer security research lab founded in 2015 by MIT researchers. The team of experts in formal methods, program analysis, and dynamic instrumentation focuses on retrofitting security on legacy systems and devices, vulnerability discovery, high-assurance binary patching, and supply-chain protection. They have received 14 DoD, DARPA, and ARPA-H research grants with combined funding over $35M.

AI/MLbinary patchingdynamic instrumentationformal methodsprogram analysisruntime protectionsoftware correctnessstatic analysissupply chain securityvulnerability discoveryvulnerability remediation

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 runtimesformal verificationfuzzingmentorshipmulti-language building and debuggingstatic analysisTraining

clearAvenue is a solution-focused systems integration company offering solutions based on innovative tools, technologies and processes. It has a track record of providing innovative solutions to multiple federal and commercial clients, with commendations for collaboration to ensure mission success. It designs, develops and deploys enterprise applications and specializes in microservices-based systems integration, Agile DevOps deployment, secure software development, cybersecurity, cloud enablement and deployment, mobile app development and health informa

Agile/DevOps (Scrum, Kanban)cloud enablement and deploymentCybersecurityenterprise application developmentHealth informaticsmobile app developmentSecure Software Development Lifecycle (SSDLC)static analysisSystems IntegrationTest-Driven Development

Cobra Design & Engineering, Inc. is a Woman-Owned Small Business established June 20, 2000, specializing in mechanical engineering, printed circuit design, reverse engineering and turnkey fabrication and assembly for military and commercial industries. The team specializes in electronics packaging design balancing weight, thermal performance, structural integrity and manufacturability.

assemblydesign for manufacturing (DFM)electronics packagingEMI/RFI isolationflex circuit designgasketinginjection mold part designinjection mold tool designinjection mold tool manufacturingmachiningmechanical designprinted circuit designrapid prototypingreverse engineeringstructural analysisthermal analysisturnkey fabrication

Commercial Computer Systems (CCS) applies the scientific method to the development of computer-intensive systems, a practice it has followed since 1976. CCS offers the simpleXecutive methodology, including REAL blueprints, REAL language, and SIMPLEX static and dynamic analysis tools, to help architects, developers, engineers, and designers model and optimize embedded systems before coding. CCS also provides consulting and training services.

consultingembedded system designperformance modelingstatic analysisSystems Engineeringsystem simulationTraining

Delphos Labs is an AI platform that analyzes compiled software without source code or symbols, using static and dynamic analysis. It runs purpose-built models and a full analysis pipeline to explain what a program does, identify risks, and return plain-language findings. Security leaders and analysts use it to approve software, triage threats, and investigate before software enters their environment. Analysis is done through controlled emulation, never by running software on customer systems.

AI-powered reverse engineeringbehavioral analysisCPU emulationdecompilationdynamic emulationMalware Analysisstatic analysissupply chain tampering detectionVulnerability Research

DSA Ocean is an ocean engineering consultancy based in Victoria, BC, Canada, specializing in marine hydrodynamics and mooring design for oceanography, marine energy, and aquaculture. It provides engineering services assessing the effects of currents, winds and waves on vessels, technologies and projects, and has created the marine dynamic analysis software ProteusDS. The company was founded in 2006 as Dynamic Systems Analysis Ltd. and has grown to 13 employees with offices on the east and west coasts of Canada.

CFD studiesfinite element analysismarine hydrodynamicsmetocean conditions assessmentmooring analysis and designseakeeping and maneuvering studiessoftware developmentthird party verificationUAV surveysvessel motion analysis

EED-Engineering is a quality software and hardware engineering firm in Denver, Colorado, formed over twenty-five years ago to leverage the systems, software, and electrical engineering and process-based management skills of its associates. It provides reliable engineering services focused on real-time embedded systems development, including systems engineering, software engineering, and verification and validation using the LDRA tools for Aerospace, Defense, Automotive, Transportation, Telecommunications, Industrial Automation, and Medical Electronics.

DO-178B/C documentationelectrical hardware designembedded systems developmentISO 9000/CMMILDRA tool suiteMCDC analysisMISRAPerl scriptingrapid prototypingsoftware engineeringstatic analysisstructural coverage analysisSystems Engineeringunit testingverification and validation

LUSAS is a trademark and trading name of Finite Element Analysis Ltd, providing engineering analysis and design software. For more than 40 years LUSAS has helped clients analyse, design and assess all types of infrastructure projects, with software used in civil, structural, bridge, offshore, oil and gas, mechanical and composites engineering.

buckling analysisFatigue Analysisfinite element analysisimpact and contact analysislinear static analysisnonlinear analysisseismic analysissoil-structure interactionstaged construction analysisthermal analysis

Froelich Engineers provides creative, client-focused civil and structural engineering services to the private and public sectors. Founded by Tim Froelich in 1983, the firm offers civil and structural engineering plus specialty structural consulting, serving architects, owners, developers, and builders across the United States from offices in Oregon and Colorado.

Adaptive Reusebase isolationcivil engineeringconstruction administrationfinite element analysisfluid-structure interactionMatterport 3D building scansnonlinear analysisperformance-based designseismic evaluation and retrofitsoil-structure interactionstructural engineering