Tomer Bar
Tomer Bar develops static-analysis tools for Rust smart contracts. His work on Radar includes a Python-style language for expressing analysis rules and designs that support vulnerability detection across many codebases.
Tomer Bar develops static-analysis tools for Rust smart contracts. His work on Radar includes a Python-style language for expressing analysis rules and designs that support vulnerability detection across many codebases.