--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on June 2015 ---
Hello, On 4 June 2015 at 20:29, Gaurav Tripathi <tripathigaurav.gt at gmail.com> wrote: > I am talking about Frama-c source file. > What if I change frama-c source code ? > First, you need to download the source code of frama-c, e.g. http://www.frama-c.com/download/frama-c-Sodium-20150201.tar.gz Then, you can modify the source code and install the frama-c from source code. > > On Thu, Jun 4, 2015 at 5:57 PM, Julien Signoles <Julien.Signoles at cea.fr> > wrote: > >> [image: Boxbe] <https://www.boxbe.com/overview> This message is >> eligible for Automatic Cleanup! (Julien.Signoles at cea.fr) Add cleanup rule >> <https://www.boxbe.com/popup?url=https%3A%2F%2Fwww.boxbe.com%2Fcleanup%3Ftoken%3DFR7EFC6GkRDR7upuNa39GL2ICwWPYsnzrYYU7mtqvBY1AW5f%252FnVgCbu58YXmzvzpxvbEq7W8s2F2T0ijN0KBSBhrVjaaXFaXM5%252FrcC1SHKdLa9yMP%252FZfFWcHW2VEh2nqk7tU62XUAxOQs6uJBQcXBA%253D%253D%26key%3D1cb6nfGbiDoVBpzD1%252Bb%252B%252F7p5NNl5SPLGLclLTW9HJWk%253D&tc_serial=21545450351&tc_rand=595741085&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001> >> | More info >> <http://blog.boxbe.com/general/boxbe-automatic-cleanup?tc_serial=21545450351&tc_rand=595741085&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001> >> >> Hello, >> >> On 06/04/2015 02:16 PM, Gaurav Tripathi wrote: >> >>> If I modify the code and if I have to rebuild and create an executable, >>> how can I do that? >>> >>> Is there any procedure given by Frama-C to rebuild my code and create >>> executable ? >>> >>> What are the steps that are required to create an executable ? >>> >> >> Frama-C is **not** a compiler. You can't generate an executable from this >> tool. The standard way is to generate a new source code and then to use >> your favorite C compiler to compile it as follow: >> >> $ frama-c <c files and options> -then -print -ocode generated.c >> $ gcc <compilation options> generated.c >> >> Hope this helps, >> Julien >> -- >> Researcher-engineer >> CEA LIST, Software Security Labs >> tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr >> _______________________________________________ >> Frama-c-discuss mailing list >> Frama-c-discuss at lists.gforge.inria.fr >> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss >> > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150604/237e1a05/attachment.html>