slice - Pre-processing Source Code before slicing using Frama-c -

-

iam trying compare source code sliced code, frama-c normalizes code @ parsing time makes sliced code statements not identical source code statements.

is possible pre-processes code using frama-c when slice using criteria resulting sliced statements can compared pre-processed statements?

thanks.

is possible pre-processes code using frama-c …

yes!

use frama-c … -print -ocode prep.c pre-process. here example:

original:

static uint32_t func_1(void) {     int64_t l_9 = 0xa9d6923607a98815ll;     int32_t *l_10 = &g_11;     int32_t *l_12 = (void*)0;     int32_t **l_13 = (void*)0;     int32_t **l_14 = &l_12;     uint16_t l_15 = 0ul;     int16_t *l_16 = &g_17;     uint16_t l_25 = 0x7847l;     uint8_t *l_36 = &g_37;     uint32_t *l_335 = &g_92;     uint32_t *l_336[2];     uint8_t *l_522 = &g_523;     int i;     (i = 0; < 2; i++)         l_336[i] = (void*)0;     …

normalized version obtained frama-c original.c -print -ocode prep.c:

static uint32_t func_1(void) {   uint32_t __retres;   int64_t l_9;   int32_t *l_10;   int32_t *l_12;   int32_t **l_13;   int32_t **l_14;   uint16_t l_15;   int16_t *l_16;   uint16_t l_25;   uint8_t *l_36;   uint32_t *l_335;   uint32_t *l_336[2];   uint8_t *l_522;   int i;   int32_t *tmp_11;   int16_t tmp_1;   int32_t *tmp_0;   int16_t tmp;   uint8_t tmp_10;   uint8_t tmp_9;   int tmp_8;   uint8_t tmp_7;   int32_t *tmp_6;   int64_t tmp_5;   int tmp_4;   uint32_t tmp_3;   uint32_t tmp_2;   l_9 = (long long)0xa9d6923607a98815ll;   l_10 = & g_11;   l_12 = (int32_t *)((void *)0);   l_13 = (int32_t **)((void *)0);   l_14 = & l_12;   l_15 = (unsigned short)0ul;   l_16 = & g_17;   l_25 = (unsigned short)0x7847l;   l_36 = & g_37;   l_335 = & g_92;   l_522 = & g_523;   = 0;   while (i < 2) {     l_336[i] = (uint32_t *)((void *)0);     ++;   }   …

the differences caused frama-c transformation applied program easier read comparing result prep.c.


Comments

Post a Comment

Popular posts from this blog

javascript - how to protect a flash video from refresh？ -

-
<!doctype html> <html> <head> <meta http-equiv="content-type" content="text/html; charset=utf-8"> <title>flash video refresh</title> </head> <body> <div id="playerzone"><embed height="496" width="580" flashvars="flvid=19742822&amp;createtime=2012-4-19 13:46:33" wmode="opaque" allowscriptaccess="always" allowfullscreen="true" quality="high" bgcolor="#000000" name="player" id="player" src="swf/mine.swf" type="application/x-shockwave-flash"></div> <a onclick="return test();" id="test">click me popup div,and hide scrollbar</a> </body> the code upon： for example,when click a#test button,popup div,it's no problem,but want hide scrollbar while div popup. i used $('html').css('overflow','hidden') in...
Read more

visual studio 2010 - Connect to informix database windows form application -

-
i trying figure out how connect ibm informix database. have been doing research , have found threads 5 years ago examples not working. i have installed latest sdk ibm informix. i have included ibm.data.informix.dll references in project. i have included using ibm.data.informix; i adding button , on click testing conenction. debug error "sql0035n file "c:\users\adam\documents\visual studio 2010\projects\test\test\msg\en_us\db2nmp.xml" cannot opened." this file not exist , dont see anywhere in program files (x86)\ibm informix client sdk directory. my on click code is private void button1_click(object sender, eventargs e) { const string host = "192.168.obfuscated"; const string servicenum = "1525"; //port? const string server = "serverobfuscated"; const string database = "dbobfuscatedy"; const string user = "myusername"; const string password = ...
Read more

android - Associate same looper with different threads -

-
Image
in application, want create multiple threads working on single queue. create queue know need call looper.prepare() . i want other threads create should associated looper created first thread, how can achieve this? use 1 of java thread safe queue class java.util.concurrent package instead of looper achieve goal. it's more common practice. share queue between threads , post task queue entry 1 thread can entry thread. blockingqueue can - in 1 thread call take() , block thread until thread put() entry queue. that's all. producer consumer pattern example blockingqueue or concurrentlinkedqueue about blockingqueue
Read more