svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

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

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

GNU ld (GNU Binutils for Ubuntu) 2.20.1-system.20100303

Using gcc

On Mon, May 7, 2012 at 3:37 PM, John Criswell <criswell AT illinois.edu> wrote:

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.

--
Fabio Resner.

[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
        
        Re: [svadev] SAFECode's whole-program analysis features, Umesh Kalappa, 05/09/2012