Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-04-04 Thread sameeran joshi
On 4/4/19, Martin Jambor wrote: > Hi, > > On Wed, Apr 03 2019, sameeran joshi wrote: >> On 4/3/19, Martin Jambor wrote: >>> Hello Joshi, >>> >>> On Mon, Apr 01 2019, sameeran joshi wrote: HI, Discussing the project with Andi, I have drafted a proposal, please review and suggest >>>

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-04-04 Thread Martin Jambor
Hi, On Wed, Apr 03 2019, sameeran joshi wrote: > On 4/3/19, Martin Jambor wrote: >> Hello Joshi, >> >> On Mon, Apr 01 2019, sameeran joshi wrote: >>> HI, >>> Discussing the project with Andi, I have drafted a proposal, please >>> review and suggest >>> necessary changes. >>> If some OpenMP expert

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-04-03 Thread sameeran joshi
On 4/3/19, Martin Jambor wrote: > Hello Joshi, > > On Mon, Apr 01 2019, sameeran joshi wrote: >> HI, >> Discussing the project with Andi, I have drafted a proposal, please >> review and suggest >> necessary changes. >> If some OpenMP experts from GCC have some ideas or changes please >> suggest. >

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-04-03 Thread Martin Jambor
Hello Joshi, On Mon, Apr 01 2019, sameeran joshi wrote: > HI, > Discussing the project with Andi, I have drafted a proposal, please > review and suggest > necessary changes. > If some OpenMP experts from GCC have some ideas or changes please suggest. > > https://docs.google.com/document/d/1axElw-I

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-04-01 Thread sameeran joshi
HI, Discussing the project with Andi, I have drafted a proposal, please review and suggest necessary changes. If some OpenMP experts from GCC have some ideas or changes please suggest. https://docs.google.com/document/d/1axElw-I5pTwcjI4iMle5NhLeRCcshIjH5ZHm3GGwsZU/edit?usp=sharing Thanks, Sameera

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-04-01 Thread sameeran joshi
On 3/26/19, Andi Kleen wrote: >> That is a correct diagnostics. >> >> See Canonical loop form. >> >> test-exprOne of the following: >> var relational-op b >> b relational-op var >> >> ( var relational-op b ) >> is neither of those. > > Still se

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-03-26 Thread Andi Kleen
> That is a correct diagnostics. > > See Canonical loop form. > > test-expr One of the following: > var relational-op b > b relational-op var > > ( var relational-op b ) > is neither of those. Still seems strange to fail for some meaningle

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-03-26 Thread Jakub Jelinek
On Tue, Mar 26, 2019 at 01:30:28PM +0530, sameeran joshi wrote: > > I'd need to see an example of what you are talking about. > > int i; > #pragma omp parallel for > for (i = (0) ; (i< (20)) ; i++) { > printf ("\ntest expression fails due to brackets"); >

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-03-26 Thread sameeran joshi
On 3/26/19, Jakub Jelinek wrote: > On Mon, Mar 25, 2019 at 05:41:26PM -0700, Andi Kleen wrote: >> sameeran joshi writes: >> >> > On 3/24/19, Andi Kleen wrote: >> >> On Sat, Mar 23, 2019 at 11:49:11PM +0530, sameeran joshi wrote: >> >>> 1) check_structured_block_conditions() >> >>> checks for th

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-03-26 Thread Jakub Jelinek
On Mon, Mar 25, 2019 at 05:41:26PM -0700, Andi Kleen wrote: > sameeran joshi writes: > > > On 3/24/19, Andi Kleen wrote: > >> On Sat, Mar 23, 2019 at 11:49:11PM +0530, sameeran joshi wrote: > >>> 1) check_structured_block_conditions() > >>> checks for the conditions related to a structured blo

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-03-25 Thread Andi Kleen
sameeran joshi writes: > On 3/24/19, Andi Kleen wrote: >> On Sat, Mar 23, 2019 at 11:49:11PM +0530, sameeran joshi wrote: >>> 1) check_structured_block_conditions() >>> checks for the conditions related to a structured block >>> 1.no returns in block >> >> returns should be allowed insid

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-03-24 Thread sameeran joshi
On 3/24/19, Andi Kleen wrote: > On Sat, Mar 23, 2019 at 11:49:11PM +0530, sameeran joshi wrote: >> 1) check_structured_block_conditions() >> checks for the conditions related to a structured block >> 1.no returns in block > > returns should be allowed inside statement expressions. If I a

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-03-23 Thread Andi Kleen
On Sat, Mar 23, 2019 at 11:49:11PM +0530, sameeran joshi wrote: > 1) check_structured_block_conditions() > checks for the conditions related to a structured block > 1.no returns in block returns should be allowed inside statement expressions. > 2.no gotos > 3.no breaks > a

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-03-23 Thread sameeran joshi
Hi, I tried doing a basic/incomplete patch(needs more detailed conditions check) for implementing a structured block in Csmith code base. The structured block is almost needed for most of the constructs which would be further implemented. 0) The patch identifies and labels each block(after block cr

Re: [GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-02-18 Thread Martin Jambor
Hello Sameeran, On Sun, Feb 10 2019, sameeran joshi wrote: > Hi,I am an undergraduate student currently in final year of computer > science and engineering degree course from Pune University, India. I > and Shubham have been working on Last year's GSoC project idea : > > Implement a fuzzer leverag

[GSoC 2019] [extending Csmith for fuzzing OpenMp extensions]

2019-02-09 Thread sameeran joshi
Hi,I am an undergraduate student currently in final year of computer science and engineering degree course from Pune University, India. I and Shubham have been working on Last year's GSoC project idea : Implement a fuzzer leveraging GCC extensions. Fuzzers like csmith are fairly good at finding co