16 Nov 19:12 2006

### datalog operations allowed

David Brumley <dbrumley <at> cs.cmu.edu>

2006-11-16 18:12:09 GMT

2006-11-16 18:12:09 GMT

Hi, I'm looking at doing points-to analysis for x86 assembly, and was interested in using bddbddb. x86 memory references are generally of the form base+(index*scale)+ displacement. Thus, my analysis requires addition and potentially multiplication and even less potentially, though possible, modulus. (I understand multiplication is sometimes bad for bdd's.) Does bddbddb support addition and/or multiplication in rules, i.e., can I write: fact(a,2). fact(b,3). foo(X,Y,Z) :- fact(X,I1), fact(Y,I2), Z is I1+ I2. and on query: -? foo(a,b,Sum). Sum is 5 Thanks! David ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys - and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV