--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on January 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Support for RISCV



Hello,

do you mean https://en.wikipedia.org/wiki/RISC-V ?

I don’t understand what this has to do with static analysis of C(!)-code.

Regards

Jens
    
    ----------------------------------------------------------------------
    
    Message: 1
    Date: Fri, 20 Jan 2017 12:33:49 +0100
    From: Paulo Matos <pmatos at linki.tools>
    To: frama-c-discuss at lists.gforge.inria.fr
    Subject: [Frama-c-discuss] Support for RISCV
    Message-ID: <9732e061-bac9-7205-b3da-9682f67abe87 at linki.tools>
    Content-Type: text/plain; charset=utf-8
    
    Hello,
    
    What's the best place to start if I want to add support for RISCV?
    
    Is there any documentation on adding a new backend to Frama-C?