Skip to content
777 Sourcing.

Capability

dynamic instrumentation

Suppliers
1
States & provinces
1
Countries
1

1 dynamic instrumentation supplier across 1 states and provinces in 1 country. Profiles show capabilities, materials, certifications, and facility locations so you can compare shops and build a shortlist.

Suppliers

AARNO LABS LLC

CAMBRIDGE, MA

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 analysisformal methodsprogram analysisruntime protectionsoftware correctnessstatic analysissupply chain securityvulnerability discoveryvulnerability remediation

Related capabilities

Other processes offered by the shops that list dynamic instrumentation.

Browse all capabilities