From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Newsgroups: gmane.lisp.guile.devel Subject: State-of-the-art format string analysis Date: Sun, 10 Oct 2010 19:30:04 +0200 Message-ID: <874ocuhs6b.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: dough.gmane.org 1286731836 31288 80.91.229.12 (10 Oct 2010 17:30:36 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 10 Oct 2010 17:30:36 +0000 (UTC) To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun Oct 10 19:30:35 2010 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1P4zjC-00029s-BR for guile-devel@m.gmane.org; Sun, 10 Oct 2010 19:30:30 +0200 Original-Received: from localhost ([127.0.0.1]:42802 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1P4zjB-0007uP-Qf for guile-devel@m.gmane.org; Sun, 10 Oct 2010 13:30:29 -0400 Original-Received: from [140.186.70.92] (port=53222 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1P4zj2-0007u7-KF for guile-devel@gnu.org; Sun, 10 Oct 2010 13:30:21 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1P4zj1-0004zQ-HN for guile-devel@gnu.org; Sun, 10 Oct 2010 13:30:20 -0400 Original-Received: from lo.gmane.org ([80.91.229.12]:42628) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1P4zj1-0004zF-Bm for guile-devel@gnu.org; Sun, 10 Oct 2010 13:30:19 -0400 Original-Received: from list by lo.gmane.org with local (Exim 4.69) (envelope-from ) id 1P4ziv-00021V-Tg for guile-devel@gnu.org; Sun, 10 Oct 2010 19:30:13 +0200 Original-Received: from yoda.fdn.fr ([80.67.169.18]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 10 Oct 2010 19:30:13 +0200 Original-Received: from ludo by yoda.fdn.fr with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 10 Oct 2010 19:30:13 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 35 Original-X-Complaints-To: usenet@dough.gmane.org X-Gmane-NNTP-Posting-Host: yoda.fdn.fr X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 19 =?iso-8859-1?Q?Vend=E9miaire?= an 219 de la =?iso-8859-1?Q?R=E9volution?= X-PGP-Key-ID: 0xEA52ECF4 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 83C4 F8E5 10A3 3B4C 5BEA D15D 77DD 95E2 EA52 ECF4 X-OS: x86_64-unknown-linux-gnu User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) Cancel-Lock: sha1:+C5NI13pgl9X7WXAIJW5o+A4fXI= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:11013 Archived-At: Hello Guilers! I’m proud to announce that Guile’s compiler now comes with state-of-the-art format string static analysis™. Initially, I thought ‘format’ was about ~A, ~S, ~f, and various obscure flags that nobody really uses, until I found (thanks to our ‘format’ wizard—you know who you are) that (1) these obscure options are actually used and useful, and (2) the ‘format’ language is on par with Brainfuck. So, a few examples: --8<---------------cut here---------------start------------->8--- scheme@(guile-user)> ,o compile-options (#:warnings (unbound-variable arity-mismatch format)) scheme@(guile-user)> ,c (format 100 "~a") :9:3: warning: 100: wrong port argument :9:3: warning: "~a": wrong number of `format' arguments: expected 1, got 0 [...] scheme@(guile-user)> ,c (format #f "~[chbouib~;~a~;~2*~a~]") :11:0: warning: "~[chbouib~;~a~;~2*~a~]": wrong number of `format' arguments: expected 1 to 4, got 0 [...] scheme@(guile-user)> ,c (format #f "~A ~@{~S~}") :14:3: warning: "~A ~@{~S~}": wrong number of `format' arguments: expected at least 1, got 0 [...] scheme@(guile-user)> ,c (format #f "~[") :16:0: warning: "~[": unterminated conditional [...] --8<---------------cut here---------------end--------------->8--- Comments welcome! Ludo’.