svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] SAFECode's whole-program analysis features

From: John Criswell <criswell AT illinois.edu>
To: Fábio Resner <fabiusks AT gmail.com>
Cc: svadev AT cs.uiuc.edu
Subject: Re: [svadev] SAFECode's whole-program analysis features
Date: Mon, 7 May 2012 13:37:15 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>
Organization: University of Illinois

On 5/7/12 1:35 PM, Fábio Resner wrote: Now I'm having problems while running $make all-gold
Which version of binutils are you compiling, and are you compiling it with clang or GCC?

-- John T.

[svadev] SAFECode's whole-program analysis features, Fábio Resner, 05/07/2012
- Re: [svadev] SAFECode's whole-program analysis features, John Criswell, 05/07/2012
  - Re: [svadev] SAFECode's whole-program analysis features, Fábio Resner, 05/07/2012
    - Re: [svadev] SAFECode's whole-program analysis features, Fábio Resner, 05/07/2012
      - Re: [svadev] SAFECode's whole-program analysis features, John Criswell, 05/07/2012
        
        Re: [svadev] SAFECode's whole-program analysis features, Fábio Resner, 05/07/2012
      - Re: [svadev] SAFECode's whole-program analysis features, John Criswell, 05/07/2012
        
        Re: [svadev] SAFECode's whole-program analysis features, Fábio Resner, 05/07/2012
        
        Re: [svadev] SAFECode's whole-program analysis features, John Criswell, 05/07/2012
        
        Re: [svadev] SAFECode's whole-program analysis features, Fábio Resner, 05/07/2012
        Re: [svadev] SAFECode's whole-program analysis features, Fábio Resner, 05/07/2012
        Re: [svadev] SAFECode's whole-program analysis features, Fábio Resner, 05/08/2012
        Re: [svadev] SAFECode's whole-program analysis features, John Criswell, 05/08/2012
        Re: [svadev] SAFECode's whole-program analysis features, Fábio Resner, 05/08/2012
        Re: [svadev] SAFECode's whole-program analysis features, John Criswell, 05/08/2012