c - Can I eliminate the usage of pointer during static analysis in this way? -


so using cil (writing cil extension) simplify c code, , trying eliminate usage of pointer(because usage of pointer cause lot of troubles in our next step analysis)

here code:

void foo() {   int = 1;   int* p = &a;   int c = *p;   *p = 3; }

i thinking maintain map of pointer reference relation in cil extension, , simplified c code be:

void foo() {    int = 1;   // int *p = &a; // map:  {p : a}  eliminate code, , create new entry in map    int c = a;      // substitute based on map    = 3;          // substitute based on map }

this easy situation, , looks promising.

but things turn complicated, example return pointer(then have change type of function, of course straightforward in cil)

so questions :

  • is universally doable eliminate pointer in way?

  • is there undecidable situation?

i'm not sure trying achieve, eliminating pointer uses next impossible. may able eliminate uses (like rather trivial code in example), not able eliminate all, because indirection used in many interesting ways.

take example linked list. if try eliminate pointers linking list, need give name each list node ever created program. of course, can replace list array (which involves pointer arithmetic of own), won't binary tree. , not end of it, there hash tables, virtually arbitrary linking between objects results object oriented programming, etc.


Comments

Post a Comment

Popular posts from this blog

apache - Remove .php and add trailing slash in url using htaccess not loading css -

i have add following code htaccess file removing .php extension , add trailing slash urls. worked fine reduced page loading speed , css code not loading @ all. pages ugly. please help rewriteengine on rewritebase / ## hide .php extension snippet # externally redirect /dir/foo.php /dir/foo rewritecond %{the_request} ^[a-z]{3,}\s([^.]+)\.php [nc] rewriterule ^ %1/ [r,l] # add trailing slash rewritecond %{request_filename} !-f rewritecond %{request_uri} !/$ rewriterule . %{request_uri}/ [l,r=301] # internally forward /dir/foo /dir/foo.php rewritecond %{request_filename} !-d rewritecond %{request_filename}.php -f rewriterule ^(.*?)/?$ $1.php [l] we can rewrite urls using .htaccess files. before writing in .htaccess files need verify kind of server using. can check server adding a <?php phpinfo(); ?> in php page. ensure mod_rewrite module enabled in apache server. can identified checking phpinfo included page. common methods used url rewriting follows ...
Read more

javascript - jQuery show full size image on click -

pretty self explanatory not workking . i want display full image when user click on image... yes know there tons of plugins but i want keep simple. any idea ? css : .full { display: none; width: 500px; height: 500px; margin-left: 100px; margin-top: -300px; position: fixed; background-color: #f00; z-index: 6; } .thumbnail { width: 50px; height: 50px; } html: <img class="thumbnail" src="http://4.bp.blogspot.com/-uhbdp2esxng/txneptvi92i/aaaaaaaaaky/upfqis7zto0/s1600/rihanna-wallpaper.jpg"> jquery: $(document).ready(function() { $('.thumbnail').on('click', function() { var img = $('<img />',{src:this.src,'class':'full'}); $('.full').html(img).show(); console.log('done!'); }); }); try looking how jquery works. $(document).ready(function() { $('.thumbnail').on('click', function(...
Read more