From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3852580208 for ; Sat, 9 Sep 2017 21:54:03 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-lf0-f45.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.215.45 as permitted sender) identity=mailfrom; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lf0-f45.google.com) identity=helo; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-lf0-f45.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AsZWpbxZOIdz3xBRmBqyqs3r/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsq+bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76vnYuHUD0PA9x?= =?us-ascii?q?Y+D0AZKa28++0uT3/5zIfy1JgiC8aPV8NkPlgx/Ws5w3n4JkYok21hzXqXtJZ/?= =?us-ascii?q?8ekWJ2KnqSkhvxoMCq88gwoGxrp/s9+psYAu3BdKMiQOkAAQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CjCAAjRrRZhi3XVdFcHQwGGQwGhBRuJ?= =?us-ascii?q?weBVoIagTaZDJJehnIDXAojhRuEBgdDFAEBAQEBAQEBAQEBEgEBAQgLCwgoL4I?= =?us-ascii?q?zIoJtHQEBOB4HBzACJBIBBQEOFIo3DRChV0CLIGuCJ4MJAQEFiFEDBRKDGYICg?= =?us-ascii?q?VCBY4hMgmaCYZI4jkGHW4x2km8ClRcUBR+BFTaBLoEECGQGhQiBdj02AYgCAQE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0CjCAAjRrRZhi3XVdFcHQwGGQwGhBRuJweBVoIagTaZDJJ?= =?us-ascii?q?ehnIDXAojhRuEBgdDFAEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzIoJtHQEBOB4HB?= =?us-ascii?q?zACJBIBBQEOFIo3DRChV0CLIGuCJ4MJAQEFiFEDBRKDGYICgVCBY4hMgmaCYZI?= =?us-ascii?q?4jkGHW4x2km8ClRcUBR+BFTaBLoEECGQGhQiBdj02AYgCAQEB?= X-IronPort-AV: E=Sophos;i="5.42,368,1500933600"; d="scan'208,217";a="236898239" Received: from mail-lf0-f45.google.com ([209.85.215.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Sep 2017 21:54:01 +0200 Received: by mail-lf0-f45.google.com with SMTP id q132so11263238lfe.5 for ; Sat, 09 Sep 2017 12:54:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=faPF/5X2gQMgBUiG93xO3XhtmQMfko1bFix4Sc6QNLw=; b=Y3E5FLt0CKhy8dsLLYWUb9EqXI8lLOXhUtGBoKLy3tgHnHAhLXaIRC8SALjl6lMNds u5PsBFEU4yxNqU9HS0Th9swS+CkmE6geyBnz5IdogpT3teYo+dD532ocdrFchoIJqFeZ SIbU6mYL+9NXiLM8DP0nmAaGNH67L5N6JAYDBPnNqpwbBrrR98G9pI1gTL6aZQOWfUap HXBepyMLH9tig9UFFAU8l17e+gx+p6FpwuuLTXsV9qORRNRyURfZL5PLYbJMe/1I3M+u YTC78bWJO3qyaW8XgvJlTeeTchTG+zPTKD4/1dnNM7ag7iE+J8wX2TIxc1rDdyjAA0yH qrdw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=faPF/5X2gQMgBUiG93xO3XhtmQMfko1bFix4Sc6QNLw=; b=qC12yf5VgVCEbqOT8ulndKWou45iie/jfxoRitvIXyQ3cvVDlhgO3VecVWWKH4BGKn ohfcP224pm9uMhJ9liV9nfKFpVRTofgzwNK9X2NdSu1Sh1AzZ8qVizIdr8k9AIlm4YDE wp/0Wc/bZqOdZ85ss1vxaKieoRis/kVvZ896cmjekrGxJg3dB5RDZE6lXEOVvzPZ4mQh w53pygaC0laEC6lp3zysxLdOP9sz2g8rJeudNq+vBtVoazL9EDdoAZGFJTP/lH4oB84x h302KDCeySipqmM4Lq91p9ymaol2CPtAjE6EnSwPRAHTVOd+pFIOQslbVaFd/F85cv1f E5UQ== X-Gm-Message-State: AHPjjUhMmiLMo3ZCTWcv4h5I5hIbp/CLYcEvJjikcNse3yGeKJ41fHji N/OYpninVIaCHuY9F2hXBgsGSQ4kNFv69n8= X-Google-Smtp-Source: AOwi7QCP2xhykl7Dhf5Ezkbs+k42T4XaQOMrqbQEAPD9upoaGpxzFcEEELTHli9bC79JKi1f0EUkhxoGfeIYo9aF6Lo= X-Received: by 10.25.221.29 with SMTP id u29mr2401339lfg.80.1504986840086; Sat, 09 Sep 2017 12:54:00 -0700 (PDT) MIME-Version: 1.0 Received: by 10.46.88.73 with HTTP; Sat, 9 Sep 2017 12:53:59 -0700 (PDT) From: Ivan Gotovchits Date: Sat, 9 Sep 2017 22:53:59 +0300 Message-ID: To: caml-list Content-Type: multipart/alternative; boundary="94eb2c0d9242fee77a0558c70dbf" Subject: [Caml-list] [ANN] BAP v1.3 --94eb2c0d9242fee77a0558c70dbf Content-Type: text/plain; charset="UTF-8" The [Binary Analysis Platform][1] is a reverse engineering and program analysis platform that targets binaries, i.e., compiled programs without the source code. BAP supports multiple architectures (more than 30), though the first tier architectures are x86, x86-64, and ARM. BAP operates by disassembling and lifting the binary code into the RISC-like BAP Instruction Language (BIL). Thus the analysis implemented in BAP is architecture independent in a sense that it will work equally well for all the supported architectures. The platform comes with a set of tools, libraries, and plugins. The main purpose of BAP is to provide a toolkit for automated program analysis. BAP is written in OCaml and it is the preferred language to write analysis, though we have bindings to C, Python, and Rust. The v1.3 release is the 13th and the biggest public release in the history of BAP, that brings lots of new stuff, including: * New OGRE loader that works smoothly with all sorts of the binaries, including Linux and Darwin kernel modules, shared libraries, and other peculiar program representations * Memory consumption is reduced several times (special thanks to the Spacetime team) * Primus - the CPU emulation and microexecution framework * Better and more concise program representation, thanks to the dead code elimination pass with effect analysis * Support for LLVM 4.0 See also the Discuss [thread][2] for the further discussions. [1]: https://github.com/BinaryAnalysisPlatform/bap [2]: https://discuss.ocaml.org/t/ann-bap-v1-3-release/829 --94eb2c0d9242fee77a0558c70dbf Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The [Binary Analysis Platform][1] is a reverse engine= ering and program analysis platform that targets binaries, i.e., compiled p= rograms without the source code. BAP supports multiple architectures (more = than 30), though the first tier architectures are x86, x86-64, and ARM. BAP= operates by disassembling and lifting the binary code into the RISC-like B= AP Instruction Language (BIL). Thus the analysis implemented in BAP=C2=A0is= architecture independent in a sense that it will work equally well for all= the supported architectures. The platform comes with a set of tools, libra= ries, and plugins. The main purpose of BAP is to provide a toolkit for auto= mated program analysis. BAP is written in OCaml and it is the preferred lan= guage to write analysis, though we have bindings to C, Python, and Rust.

The v1.3 release is the 13th and the biggest public = release in the history of BAP, that brings lots of new stuff, including:

* New OGRE loader that works smoothly with all sorts= of the binaries, including Linux and Darwin kernel modules, shared librari= es, and other peculiar program representations
* Memory consumpti= on is reduced several times (special thanks to the Spacetime team)
* Primus - the CPU emulation and microexecution framework=C2=A0
* Better and more concise program representation, thanks to the dead code = elimination pass with effect analysis
* Support for LLVM 4.0

See also the Discuss [thread][2] for the further discu= ssions.


--94eb2c0d9242fee77a0558c70dbf--