|
|
›››Boston Statics
Dedicated to the Science and Art of How Data Moves.
Boston Statics is the leader in code simulation. Organizations
worldwide — including all branches of the U.S. Armed Forces
— rely on our software products, engineering services, and
expertise for their advanced abstract interpretation, query planning,
and visual prototyping applications.
TRACTOR
Translating all COBOL code to the industry-standard safe
programming language: Rust.
Funded by DERPA.
Vulerability Research
Using advanced static analysis techniques to find vulnerabilities
at scale in code repositories.
|