From owner-soc-status@FreeBSD.ORG Mon Jun 27 20:24:42 2011 Return-Path: Delivered-To: soc-status@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 4D1D21065678 for ; Mon, 27 Jun 2011 20:24:42 +0000 (UTC) (envelope-from m.kocielski@gmail.com) Received: from mail-pz0-f54.google.com (mail-pz0-f54.google.com [209.85.210.54]) by mx1.freebsd.org (Postfix) with ESMTP id 258208FC13 for ; Mon, 27 Jun 2011 20:24:41 +0000 (UTC) Received: by pzk27 with SMTP id 27so948294pzk.13 for ; Mon, 27 Jun 2011 13:24:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:date:x-google-sender-auth :message-id:subject:from:to:content-type; bh=+Q4lcMxwZoWwDb+JkTXRasD2EHt6IsLna2enbypCZ4Q=; b=F+oLRghS5aibf8Z9dx4LEjnJYtJoAsgllCsN4utEK5aQkyJ7V3HFsMGfkEhjfrUEy1 yI8+GjCEq9Qtz89ML+J/wpQIiJTibv7SG5AYy7hfvOUg7pRoCSBlKi9jlBjTinNhxGjS dQf7/Lm1J/faD0jHIsZ4RJHdwTtYyNAdjzv3U= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=dFN1srNSnJW2JP4qkqpaOAXe/M3sGY6YYwRQXlYHWa2QSxMCT3quT4RRTNASDHqsfQ iHn7TW2KGa5gTfYnin2/8sMPykAIA73+QhVQCNiRuPW2lNCL9VfUsUj5KZOG38aayrkU KMlpD7KaaOLcOC8EzZ5o918AxWyMwjB7bT99k= MIME-Version: 1.0 Received: by 10.68.42.39 with SMTP id k7mr1021252pbl.310.1309206281706; Mon, 27 Jun 2011 13:24:41 -0700 (PDT) Sender: m.kocielski@gmail.com Received: by 10.68.54.65 with HTTP; Mon, 27 Jun 2011 13:24:41 -0700 (PDT) Date: Mon, 27 Jun 2011 22:24:41 +0200 X-Google-Sender-Auth: uYYOmk5wBmilAEMA05Y8iZsyusE Message-ID: From: Mateusz Kocielski To: soc-status@freebsd.org Content-Type: text/plain; charset=ISO-8859-1 Subject: Testing temporal properties with Temporally Enhanced Security Logic Assertions - week 5 X-BeenThere: soc-status@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Summer of Code Status Reports and Discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 27 Jun 2011 20:24:42 -0000 Hello, Last week slightly differed from my plans, mostly I spent time playing with instrumenter stuff (which is a part of llvm/clang). I've focused also on polishing written code so far in order to make possible to push it into the official TESLA repository. Capsicum testing was rescheduled for second phrase of the coding period. I've done last week: * quick write-up (with some real-life examples) * rewrite instrumenter test infrastructure * instrumenter testing * instrumenter bug fixing My plans for the next week: * Push my patches into the official TESLA repository. * Publish write-up at wiki.freebsd.org (polishing, proof-reading) * TESLA internals hacking * testing MAC framework (tests) * extend fuzzing framework (consider integrating this work into stress2 suite) In case of any questions please catch me on IRC (I'm shm at freenode). Regards, Mateusz