search for: zvonimir

...ed around LLVM, and you can find more info (PDF, title, abstract) about our recent publication here: http://soarlab.org/2014/05/smack-decoupling-source-language-details-from-verifier-implementations/ I would appreciate if you could add it to your list of LLVM-based publications. Thanks! Best, -- Zvonimir -- http://zvonimir.info http://soarlab.org/

Thanks Bill! So should I email you again in 5 months? -- http://www.zvonimir.info On Wed, Feb 6, 2013 at 1:10 AM, Bill Wendling <wendling at apple.com> wrote: > Hi Zvonimir, > > We normally list projects that use LLVM when we do a release. The next release will be 3.3, which will probably start up in 5 months or so. > > -bw > > On Feb 3, 2013, a...

...L to the User's page. Is the Github URL what you want to use, or is there a web page with more information that we should link to instead? > > -- John T. > ________________________________________ > From: llvmdev-bounces at cs.uiuc.edu [llvmdev-bounces at cs.uiuc.edu] on behalf of Zvonimir Rakamaric [zvonimir at cs.utah.edu] > Sent: Wednesday, February 06, 2013 9:10 AM > To: Bill Wendling > Cc: LLVM Developers Mailing List > Subject: Re: [LLVMdev] Adding SMACK to the list of LLVM projects > > Thanks Bill! So should I email you again in 5 months? > > -- >...

...sed on my understanding of this line, if AtomicCmpXchgInst does not return a pointer type, nothing gets merged. And in the example I posted, a pointer value is indeed not returned (but rather an i64 value "masking" an i32* value). And so DSA does not do the right thing in this case... -- Zvonimir -- http://zvonimir.info http://soarlab.org/ On Mon, Mar 31, 2014 at 10:29 PM, John Criswell <criswell at illinois.edu> wrote: > On 3/31/14, 6:09 PM, Zvonimir Rakamaric wrote: >> >> Hi all, >> >> I have yet another DSA-related question :), and I would appreciate...

...te, I can add the URL to the User's page. Is the Github URL what you want to use, or is there a web page with more information that we should link to instead? -- John T. ________________________________________ From: llvmdev-bounces at cs.uiuc.edu [llvmdev-bounces at cs.uiuc.edu] on behalf of Zvonimir Rakamaric [zvonimir at cs.utah.edu] Sent: Wednesday, February 06, 2013 9:10 AM To: Bill Wendling Cc: LLVM Developers Mailing List Subject: Re: [LLVMdev] Adding SMACK to the list of LLVM projects Thanks Bill! So should I email you again in 5 months? -- http://www.zvonimir.info On Wed, Feb 6, 201...

...different extensions on top of SMACK. **************************************************************************** Please let me know if you need anything else. There already are two of my publications related to SMACK in the LLVM publication list. Thanks a lot in advance for your help! Best, -- Zvonimir -- http://www.zvonimir.info

Hi Zvonimir, We normally list projects that use LLVM when we do a release. The next release will be 3.3, which will probably start up in 5 months or so. -bw On Feb 3, 2013, at 9:16 PM, Zvonimir Rakamaric <zvonimir at cs.utah.edu> wrote: > Hi guys, > > So, I've been a long-term user of L...

...s time we focus on detecting concurrency bugs in device drivers: http://soarlab.org/2015/08/ase2015-ddr/ You can find all the required info (PDF, title, abstract, etc.) at the above webpage. I would appreciate if you could add this paper to your list of LLVM-based publications. Thanks! Best, -- Zvonimir -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150819/4bc86913/attachment.html>

Thanks John! You would not believe this :), but literally just 5 minutes ago I saw the TypeSafety pass and it seems to be exactly what we need. So we'll try to leverage that... Best, -- Zvonimir -- http://zvonimir.info http://soarlab.org/ On Mon, Dec 15, 2014 at 10:28 AM, John Criswell <jtcriswel at gmail.com> wrote: > On 12/14/14, 4:33 PM, Zvonimir Rakamaric wrote: >> >> Hi John, all, >> >> Thanks for your responses everybody. >> >> This is...

Hi, Coming back to this, I would greatly appreciate if someone could add this publication (based on TSan) to the list. Thanks, -- Zvonimir On Tue, Jun 21, 2016 at 12:07 PM Zvonimir Rakamaric <zvonimir at cs.utah.edu> wrote: > Hi, > > We recently published a paper that leverages clang/LLVM (through > ThreadSanitizer) to dynamically detect data races in OpenMP programs: > http://soarlab.org/2016/02/ipdps2016-agral...

In particular, I would for example like to prevent that two fields of type i32 are packed into an i64 parameter. And so on... Thanks! -- Zvonimir

...to that location. I also need to capture those... I would need a call similar to getModRefInfo, just where second parameter is not a Value, but a DSNodeHandle pointing to the memory location in the caller whose ModRef status I would like to find out. Do you maybe have anything similar to that? -- Zvonimir > The ModRef info is directly available through the alias analysis dsa > client, and certainly easier to use. > > Andrew > > On Thu, Apr 3, 2008 at 1:28 PM, Vikram S. Adve <vadve at cs.uiuc.edu> wrote: > > Andrew, there used to be some code to compute the ModRef...

...right. Now, if this LLVM IR code is indeed fine, then we have a problem with DSA when it gets to this cmpxchg instruction since DSA then does not know that the second and third arguments to cmpxchg are in fact pointers. Messy stuff... Your help would be greatly appreciated... Thanks! Cheers, -- Zvonimir -- http://zvonimir.info http://soarlab.org/

Hi, We just published our work that uses LLVM for software verification: Counterexample-Guided Bit-Precision Selection Shaobo He, Zvonimir Rakamaric Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), November 2017. Link: http://soarlab.org/2017/09/aplas2017-hr/ I would appreciate if someone could add it to your publication list. Thanks! -- Zvonimir -- http://zvonimir.info http://soarlab.org -----...

...ling SMACK due to the above problem, and so I am wondering if we should look into alternative solutions. Is there an alternative to installing LLVM using APT besides using the above link? You say that this link is a mirror in the note that pops us. What is the original link then? Thanks a lot! -- Zvonimir -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160613/a6a2913f/attachment.html>

...recognized by the system. Now this is the 2nd card I try, the first one according to support was faulty and they sent me a new one. Is it possible to be doing something wrong? Is freebsd maybe recognizing differently from what it says on the manual? Please any help would be highly appreciated. -Zvonimir -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.digium.com/pipermail/asterisk-users/attachments/20070508/63b538bf/attachment.htm

...above listed type-unsafe accesses are happening on the node. Am I getting this about right? If you have time to point us at some API functions to get us started with the above idea, that would be great. If not, then don't worry, hopefully we'll figure it out on our own. Thanks! Best, -- Zvonimir -- http://zvonimir.info http://soarlab.org/ On Sun, Dec 14, 2014 at 10:11 AM, John Criswell <jtcriswel at gmail.com> wrote: > On 12/12/14, 8:14 PM, Shaobo wrote: >> >> Hi guys, >> >> I'm working on a project using DSA to mark the type-unsafe store >>...

...numVal(twodim, "two dimensional memory model"), clEnumValEnd)); This works perfectly on Linux and MacOS, but not under cygwin (MemoryModel global variable does not get set). Has anybody else experienced similar issues? Any help would be greatly appreciated. Thanks! Best, -- Zvonimir

Andrew, there used to be some code to compute the ModRef behavior of functions using DS graphs. Does that code still exist in svn? What Zvonimir is asking is essentially that, although perhaps he needs it as DS nodes explicitly rather than via the generic queries in the AliasAnalysis interface. --Vikram http://www.cs.uiuc.edu/~vadve http://llvm.org/ On Apr 3, 2008, at 12:45 PM, Andrew Lenharth wrote: > On Thu, Apr 3, 2008 at 12:...

...e are regular commits, and also there is a branch called release_32, which is I presume following LLVM's 3.2 release. If that about right? Basically, I would appreciate if somebody would comment if I can count on DSA being supported and following LLVM releases in the future. Thanks a lot! -- Zvonimir