Re: Improve Coverity Scan Integration: GSOC project details

2020-03-02 Thread Joel Sherrill
On Mon, Mar 2, 2020 at 11:16 AM Sebastian Huber < sebastian.hu...@embedded-brains.de> wrote: > - Am 2. Mrz 2020 um 17:02 schrieb Gedare Bloom ged...@rtems.org: > > > On Sun, Mar 1, 2020 at 6:31 PM Joel Sherrill wrote: > >> > >> > >> > >> On Sun, Mar 1, 2020, 1:02 PM suyash singh > wrote: > >

Re: Improve Coverity Scan Integration: GSOC project details

2020-03-02 Thread Sebastian Huber
- Am 2. Mrz 2020 um 17:02 schrieb Gedare Bloom ged...@rtems.org: > On Sun, Mar 1, 2020 at 6:31 PM Joel Sherrill wrote: >> >> >> >> On Sun, Mar 1, 2020, 1:02 PM suyash singh wrote: >>> >>> This is regarding the project I would like to work in >>> >>> Improve Coverity Scan Integration >>> http

Re: Improve Coverity Scan Integration: GSOC project details

2020-03-02 Thread Gedare Bloom
On Sun, Mar 1, 2020 at 6:31 PM Joel Sherrill wrote: > > > > On Sun, Mar 1, 2020, 1:02 PM suyash singh wrote: >> >> This is regarding the project I would like to work in >> >> Improve Coverity Scan Integration >> https://devel.rtems.org/ticket/3710 >> >> FIRST POINT- >> I was thinking about implem

Re: Improve Coverity Scan Integration: GSOC project details

2020-03-02 Thread Gedare Bloom
On Mon, Mar 2, 2020 at 2:55 AM suyash singh wrote: > > Okay so I found this > https://www.synopsys.com/content/dam/synopsys/sig-assets/datasheets/coverity-misra-standards-ds-ul.pdf > and > https://github.com/ARM-software/tf-issues/issues/549 > Which leads me to believe coverity provides a MISRA sc

Re: Improve Coverity Scan Integration: GSOC project details

2020-03-02 Thread suyash singh
Okay so I found this https://www.synopsys.com/content/dam/synopsys/sig-assets/datasheets/coverity-misra-standards-ds-ul.pdf and https://github.com/ARM-software/tf-issues/issues/549 Which leads me to believe coverity provides a MISRA scanner. Is it practical to write a program to check some of the

Re: Improve Coverity Scan Integration: GSOC project details

2020-03-01 Thread Sebastian Huber
On 02/03/2020 02:31, Joel Sherrill wrote: *THIRD POINT-* Enabling and testing MISRA rules. Do you know of a free tool that checks Misra C rules? There are closed source products that do but I don't know of a FLOSS one. cppcheck seems to have some support: http://cppcheck.sourceforge

Re: Improve Coverity Scan Integration: GSOC project details

2020-03-01 Thread Joel Sherrill
On Sun, Mar 1, 2020, 1:02 PM suyash singh wrote: > This is regarding the project I would like to work in > > Improve Coverity Scan Integration > https://devel.rtems.org/ticket/3710 > > *FIRST POINT-* > I was thinking about implementing Coverity or clang analyzer as an offline > analyzer. Would it

Improve Coverity Scan Integration: GSOC project details

2020-03-01 Thread suyash singh
This is regarding the project I would like to work in Improve Coverity Scan Integration https://devel.rtems.org/ticket/3710 *FIRST POINT-* I was thinking about implementing Coverity or clang analyzer as an offline analyzer. Would it be a suitable idea to make a separate repo just for testing purp