similar to: [GSOC 2018] Information gathering

Hey, On 02/20/2018 11:51 PM, Paul Semel wrote: > Hello, > > > I'm Paul Semel, a French student in computer science. I am currently in > my 4th year (1st year of graduate school) at EPITA and enrolled in the > system and security laboratory of the school. > > I would be very interested in working on a LLVM project during this > GSoC. Implementing a PoC for an

Hey, welcome! I'm curious about the unsequenced modification checker, is it something that I should have seen but missed for whatever reason? It might be useful, and I think I'm seeing why don't compiler warnings cover all cases, i.e. why the analyzer's path sensitivity would help here. But I can't answer until I see it :) -eg. on our Phabricator. We are currently having

Hi, Thanks for replying ! On 03/02/2018 10:58 PM, Artem Dergachev wrote: > Hey, welcome! > > I'm curious about the unsequenced modification checker, is it something > that I should have seen but missed for whatever reason? It might be > useful, and I think I'm seeing why don't compiler warnings cover all > cases, i.e. why the analyzer's path sensitivity

Hi Eric, As you are pointed to be the confirmed mentor for the "Command line replacements for GNU Binutils" GSOC 2018 subject, I permit myself to add you to this thread ! If you have a few minutes to answer my questions, that'd really great 🙂 On 03/01/2018 08:43 PM, Paul Semel wrote: > Hey, > > On 02/20/2018 11:51 PM, Paul Semel wrote: >> Hello, >>

Hi, On 03/20/2018 03:06 PM, Paul Semel wrote: > Hi, > > On 03/20/2018 06:05 AM, Eric Christopher wrote: >> >> >> On Fri, Mar 16, 2018 at 1:57 AM Paul Semel <semelpaul at gmail.com >> <mailto:semelpaul at gmail.com>> wrote: >> >>     Hi Eric, >> >> >>     On 03/15/2018 04:33 PM, Eric Christopher wrote: >>>     Hi

Hi, On 03/20/2018 06:05 AM, Eric Christopher wrote: > > > On Fri, Mar 16, 2018 at 1:57 AM Paul Semel <semelpaul at gmail.com > <mailto:semelpaul at gmail.com>> wrote: > > Hi Eric, > > > On 03/15/2018 04:33 PM, Eric Christopher wrote: >> Hi Paul, >> >> >> >> I'm also interested in the command line

On Fri, Mar 16, 2018 at 1:57 AM Paul Semel <semelpaul at gmail.com> wrote: > Hi Eric, > > On 03/15/2018 04:33 PM, Eric Christopher wrote: > > Hi Paul, > > >> >> I'm also interested in the command line replacements for GNU Binutils : >> >> >> >> - What tools would you like to replace in priority ? >> >> - Does this

Hi all ! During this GSoC, I've worked on improving the llvm binutils suite. I've wrote a final [1]report for those of you who would be interested. Regards, -- Paul Semel [1] http://paulsemel.org/posts/command-line-replacements-in-llvm-binutils/

Hi Eric, On 03/15/2018 04:33 PM, Eric Christopher wrote: > Hi Paul, > > > >> I'm also interested in the command line replacements for GNU > Binutils : > >> > >> - What tools would you like to replace in priority ? > >> - Does this subject imply to add options/features to some of the > >> tools, or is it only

Hello, I''ve configured two xen hosts (dom0) sharing a LUN on a SAN. My firs obiective is to run different domU on the two hosts, and implement live migration between them. Subsequently, I''d like to implement HA, so if a xen host goes down, domUs will be restarted on the other one. What''s the better way to obtain this? I think I need a cluster file system to

Hi all, Is it possible to develop a checker or some feature in clang SA which will only have perfect soundness property ( if we don't care about completness property ) i.e if the analyzer says X is a genuine bug then X is really a genuine bug. Whatever bug it reports are all genuine but it doesn't report all genuine bugs. Please guide. Thanks, Siddharth -------------- next part

A character device for accessing (in user-space) pages that have been granted by other domains. Signed-off-by: Derek Murray <Derek.Murray@cl.cam.ac.uk> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel

Thanks for the detailed explanation. So is changing the analysis technique from path sensitive (symbolic execution) analysis to some other technique bring in the soundness property ? Thanks, Siddharth On Sat, Aug 18, 2018 at 1:27 AM, Artem Dergachev <noqnoqneo at gmail.com> wrote: > Nope, at least not with the "path-sensitive" (symbolic execution) engine. > Which is the

On Mon, Apr 7, 2014 at 12:09 PM, Joerg Sonnenberger <joerg at britannica.bec.de > wrote: > On Mon, Apr 07, 2014 at 08:38:58AM -0600, Richard wrote: > > Oops, meant to send this to the mailing list instead of to Reid > > privately. (Why cc the mailing list instead of just sending to the > > mailing list?) > > > > In article <CACs= >

Hi all, Currently studying the impact of SMT solvers on Clang SA. Can anyone help in telling more about the SMT solvers use in clang SA ? ( Have already tested Z3 SMT solver implemented in GSoC 2018 , also looking for other SMT solvers if possible ) Thanks, Siddharth -------------- next part -------------- An HTML attachment was scrubbed... URL:

Ever since xen-unstable cset 14308 ("pci back: Fix registration of of filters on subsections of config space") I''ve been getting an MCA on the *2nd* boot of a driver domain using an e1000 NIC. Cset 14308 allowed the proper setup of the PM control registers, so the NIC is put in the D3 power state when the driver domain shuts down. Unfortunately, pci_set_power_state()

Hi, I'm using Dovecot's (1.0.rc2) 'deliver' (no sieve) as LDA - calling it from a .qmail file. It seems that 'deliver' destroys "message/rfc822" attachments (forward as attachment). My .qmail file looks like this, and use qmail to deliver a copy directly to my Maildir, and 'deliver' to deliver a second copy of the same message to the same Maildir: %

Hi, I have a naive question... I have produced about 60 graphics and want to put them in one postscipt file , possibly 4 graphics on each page. I can put all of them in the same file (that's ok), but I can't find the way to put 2 or more (precisely 4, in my case) graphics on the same page (each graphics is about 6 inches (width) X 4 inches (height)). Any help would be very much

Hi, The bug reported in http://dovecot.org/list/dovecot/2006-July/014786.html still exists in 1.0.rc6 % grep "$ ./configure" dovecot-1.0.rc6/config.log $ ./configure --prefix=/srv/software/dovecot Install prefix ...................... : /srv/software/dovecot File offsets ........................ : 64bit I/O loop method ..................... : poll File change notification method

We are currently implementing the backends for other solvers (you can follow the progress here: https://github.com/mikhailramalho/clang). So far we got Boolector, MathSAT and Yices ready. CVC4 should be done soon. When used to refute bugs, they all give roughly the same results: a ~5% speedup if there are refuted bugs or a ~5% slowdown if no bug is refuted. I've only tried to analyze one