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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E76F77ED11 for ; Tue, 4 Oct 2016 15:30:54 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AfYTi0xC3EbkJH4cDzNl0UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP77ocbcNUDSrc9gkEXOFd2CrakV0ayM7Ou+BSRAuc/H6y9SNsQUFlcsso?= =?us-ascii?q?Y/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUqabtcm81viz9pvPeE0IwWPlOfIhZCmx+CTPv89erox+Lbg6yhrVuTMcev?= =?us-ascii?q?pZ7WJlKF/VmAzzsJSe5plmpg1WuvZp0sdMUazkdrw1QbBJRGAvNWExzNfmvh7C?= =?us-ascii?q?SU2I/HRKATZeqQZBHwWQtEKyZZz2qCav87MlgCQ=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DhAQBurvNX/zPhmQVdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgxIBAQEBAR5XfI0yln6UJoIHJIV6AgiBXDgUAQEBAQEBAQEBAQF?= =?us-ascii?q?dJ4IyBAEVAQSCEQEBBDoGAwE1AQEOCw4KLlcGE4hRAQmwaoUwBwKIJwEBAQEBB?= =?us-ascii?q?QEBAQEBAQEBAQEBEwEIiDkIglCER2OCTIIvjjqLRIYniU1ngQdOhBiDFIYKjF0?= =?us-ascii?q?Tg34eNkyEVHGGGIFBAQEB?= X-IPAS-Result: =?us-ascii?q?A0DhAQBurvNX/zPhmQVdHAEBBAEBCgEBFwEBBAEBCgEBgxI?= =?us-ascii?q?BAQEBAR5XfI0yln6UJoIHJIV6AgiBXDgUAQEBAQEBAQEBAQFdJ4IyBAEVAQSCE?= =?us-ascii?q?QEBBDoGAwE1AQEOCw4KLlcGE4hRAQmwaoUwBwKIJwEBAQEBBQEBAQEBAQEBAQE?= =?us-ascii?q?BEwEIiDkIglCER2OCTIIvjjqLRIYniU1ngQdOhBiDFIYKjF0Tg34eNkyEVHGGG?= =?us-ascii?q?IFBAQEB?= X-IronPort-AV: E=Sophos;i="5.31,295,1473112800"; d="scan'208";a="239358187" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Oct 2016 15:30:51 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 23dca1bb; Tue, 4 Oct 2016 14:30:50 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=JxCCNJsq60cb47xfDhmaL7YbYBw=; b=s+cc9SWs262SA6k2Ou QAkhcBfrimF4ruXUGQr5dGU1+KDtLVxZ5vZLFeRlUR5oReIJ5O5/YcIrAR7eVJFe KJSq0c4s6/Q8qxzEKoz3CKwMhkN22w7Dhj8/mme+q0ksArywm/Bq2UfhN8xxzhY4 1kMkrPGlwi86qmg6xbx2XsP3k= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=rglUC3XXD/X8DvUsIdGnMUDVSLtZcqNZcEiXeKvM9tF5Q7C/qMN 6wMtb+YE1NwE4EDsFFPqElucOep1sKSfLKaocaqxT6W3EILvGxHCCPymPMLIsrcP CMpUku0lfV8QAnsRPTrQ+0/uIKWMexk65+HNBzyCPSk8VBsSObgiTYq8= Received: from [172.16.10.249] (mail.astons-coaches.co.uk [194.72.166.2]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 51799054 (TLSv1:ECDHE-RSA-AES256-SHA:256:NO); Tue, 4 Oct 2016 14:30:50 +0100 (BST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Anil Madhavapeddy In-Reply-To: Date: Tue, 4 Oct 2016 14:30:48 +0100 Cc: caml-list Content-Transfer-Encoding: quoted-printable Message-Id: <54F930D0-3F70-4761-A900-2E8D4EE7A963@recoil.org> References: To: Ivan Gotovchits X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] [ANN] BAP 1.0.0 On 27 Sep 2016, at 16:04, Ivan Gotovchits wrote: >=20 > Dear list, >=20 > We are proud to announce a stable public release of Binary Analysis Platf= orm [1]. This is our tenth public release, but the first one with a stabili= zed API, so now it is safe to start to use it.=20 >=20 > Binary Analysis Platform is a framework for writing program analysis > tools, that target binary files. The framework consists of a plethora > of libraries, plugins, and frontends. The libraries provide code > reusability, the plugins facilitate extensibility, and the frontends > serve as entry points. Basically, BAP can be seen as Frama-C for binaries= :) >=20 > BAP comes with a comprehensive searchable documentation [2], based on our= own fork of argot project. We also have a wiki and permanently manned chat= , where you can get help.=20 >=20 > At the time of writing, BAP.1.0.0 didn't yet land up into the opam-reposi= tory [3], so if you want to try it, you should use our opam-repository,=20 >=20 > opam repo add bap git://github.com/BinaryAnalysisPlatform/opam-reposi= tory.git This has now been merged into OPAM repository and so should be available wi= thout the remote repository soon. I just wanted to thank Ivan for going through a huge amount of testing effo= rt before submitting the PR, as can be seen here: https://github.com/ocaml/= opam-repository/pull/7521 If anyone finds any issues after the merge, please do feel free to raise an= issue on https://github.com/ocaml/opam-repository/issues regards, Anil