search for: masaryk

Hello, we, at the Masaryk University, have developed an interprocedural static slicer with other useful stuff. This includes Andersen's points-to analysis, accurate call-graph, modifies relations. The whole code is available in this repository: https://github.com/jirislaby/LLVMSlicer The question I would like to ask i...

Hi js, On Feb 13, 2012, at 8:49 AM, Jiri Slaby <jirislaby at gmail.com> wrote: > Hello, > > we, at the Masaryk University, have developed an interprocedural static > slicer with other useful stuff. This includes Andersen's points-to > analysis, accurate call-graph, modifies relations. > > The whole code is available in this repository: > https://github.com/jirislaby/LLVMSlicer > >...

...x I get relatively small number of probabilities. I've spent long time searching trough docs to find how to change it but didn't found it. So please tell me how. thanks for replies +-----------------------------------------------------------------------------+ | ROSTISLAV MATL, student of Masaryk University - Faculty of Informatics | | e-mail: xmatl at fi.muni.cz WWW: http://www.fi.muni.cz/~xmatl/index.html | | ICQ#: 17058749 | +-----------------------------------------------------------------------------+ -.-.-.-.-.-.-...

...ntials yes X11Forwarding yes X11DisplayOffset 10 PrintMotd no PrintLastLog yes TCPKeepAlive yes AcceptEnv LANG LC_* Subsystem sftp /usr/lib/openssh/sftp-server UsePAM yes Regards, Michal P. -- Michal Prochazka // michalp at ics.muni.cz Supercomputing Center Brno Institute of Computer Science Masaryk University Botanicka 68a, 60200 Brno, CZ CESNET z.s.p.o. Zikova 4, 16200 Praha 6, CZ -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/x-pkcs7-signature Size: 2933 bytes Desc: S/MIME Cryptographic Signature Url : http://lists.mindrot.or...

...static backwards intra-procedure slicing passes, and runs with an older version of LLVM. It also only backtracks until it hits a load. Additional code must be written to backtrack further to find potentially reaching stores. LLVMSlicer This implementation is a complete static backwards slicer from Masaryk University. It works on the well dened data and control flow equations in a white paper by F. Tip [4]. However, this code was written for special purpose, thus it's not general enough to be use by others. They implemented the Andersen's alias algorithm [2], callgraph, and modies analysis to...

On 02/14/2012 07:26 AM, Evan Cheng wrote: > Hi js, > > On Feb 13, 2012, at 8:49 AM, Jiri Slaby <jirislaby at gmail.com> wrote: > >> Hello, >> >> we, at the Masaryk University, have developed an interprocedural static >> slicer with other useful stuff. This includes Andersen's points-to >> analysis, accurate call-graph, modifies relations. >> >> The whole code is available in this repository: >> https://github.com/jirislaby/LL...

...intra-procedure slicing passes, and runs with an older version of LLVM. It also only backtracks until it hits a load. Additional code must be written to backtrack further to find potentially reaching stores. - LLVMSlicer This implementation is a complete static backwards slicer from Masaryk University. It works on the well de ned data and control flow equations in a white paper by F. Tip [4]. However, this code was written for special purpose, thus it's not general enough to be use by others. They implemented the Andersen's alias algorithm [2], callgraph, and modi es...

...passes, and > runs with an older version of LLVM. It also only backtracks until it hits a > load. Additional code must be written to backtrack further to > find potentially reaching stores. > - LLVMSlicer This implementation is a complete static backwards slicer > from Masaryk University. It works on the well de ned data and control flow > equations in a white paper by F. Tip [4]. However, this code was written > for special purpose, thus it's not general enough to be use by others. They > implemented the Andersen's alias algorithm [2], callgrap...

I'm seeing some strange behavior from OCFS2 while trying to mount mpath/dm-multipath devices under RHEL5. Sometimes I can mount the EMC-connected, dual-pathed volumes just fine and sometimes I get "device busy" errors. I've tried mounting by label and also by explicit /dev/mapper/mpathXpY name with the same unpredictable behavior. I've also noticed that sometimes when a