--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on January 2017 ---
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?