Media Summary: We present Binary Analysis Platform (BAP), a representation-agnostic program analysis framework for binaries that can leverage ... When testing a library, developers typically first have to capture the semantics they want to How do we know that we can trust software? One answer is software reliability testing. Dr Mário Pereira and Dr António Ravara ...
Ocaml Workshop 2021 Deductive Verification - Detailed Analysis & Overview
We present Binary Analysis Platform (BAP), a representation-agnostic program analysis framework for binaries that can leverage ... When testing a library, developers typically first have to capture the semantics they want to How do we know that we can trust software? One answer is software reliability testing. Dr Mário Pereira and Dr António Ravara ... If values of a given type are stored on disk, or are sent between different executables, then changing that type or its serialization ... In this talk, we will introduce a new tool called digodoc, that builds a graph of an opam switch, associating files, libraries and opam ... Semgrep, which stands for “semantic grep,” is a fast, lightweight, polyglot, open source static analysis tool to find bugs and enforce ...
