Hello Sagi! On Fri, 23 Nov 2018 15:40:13 +0200 Sagi Ben-Akiva <sagi...@gmail.com> wrote:
> I think you meant clan-analyzer and not clang-format > https://clang-analyzer.llvm.org/ > > clang-analyzer is being used by Google for AOSP. > No, I meant clang-format. See https://github.com/shlomif/fc-solve/blob/master/fc-solve/source/t/t/clang-format.t > Not open source, but good are : > Coverity > CodeSonar > parasoft > > In the past I ran Coverity, Parasoft, cppcheck and clang analyzer in > parallel on the same C/C++ project, > unfortunately each one of them output different results . > > btw: the 3 tools that I mentioned above are good if you need to be > compliant to a standard like MISRA-C, they have checkers for those > standards which the open source utilities still do not include. > > Sagi. > > On Fri, Nov 23, 2018 at 12:48 PM Shlomi Fish <shlo...@shlomifish.org> wrote: > > > Hi Shay! > > > > On Fri, 23 Nov 2018 03:23:22 +0200 > > Shay Gover <govers...@gmail.com> wrote: > > > > > שלום לכולם, > > > > > > הצטרפתי לפרויקט שיכתב ב-C ואני אחראי על נושא הבדיקות האוטומטיות. > > > מדובר על חומרה ייעודית כך שאין לי ציפייה לקבל משהו משמעותי מבדיקות > > דינאמיות. > > > > > > אני אשמח לקבל הכוונה על היכולות של gitlab בנושא בדיקות סטטיות ל- C (תקן > > 99 > > > אם זה משנה) ובדיקות דינאמיות. > > > אם אין ל- gitlab פיתרון אז אני אשמח לקבל המלצות על תוכנות קוד פתוח או > > > חינמיות שעושות את זה (כבר השתמשתי בגוגל ומסתבר שיש רשימה ארוכה, אז אני > > מחפש > > > המלצות). > > > > GitLab supports some https://en.wikipedia.org/wiki/Continuous_integration > > services (see > > > > https://github.com/shlomif/Freenode-programming-channel-FAQ/blob/master/FAQ.mdwn#what-do-continuous-integration-ci-services-such-as-travis-ci-jenkins-or-appveyor-provide > > ). So far - for C - I used a mixture of: > > > > * http://testanything.org/ > > > > * https://cffi.readthedocs.io/en/latest/ > > > > * http://cppcheck.sourceforge.net/ > > > > * http://valgrind.org/ > > > > * https://duckduckgo.com/?q=clang-format&atb=v140-5b_&ia=web > > > > * https://metacpan.org/pod/distribution/Inline-C/lib/Inline/C.pod > > > > * https://metacpan.org/pod/Test::Trap > > > > * https://github.com/remko/pycotap/ > > > > and more stuff - see https://www.shlomifish.org/open-source/projects/ . > > > > Regards, > > > > Shlomi > > > > > > > > כמוכן אם ידוע לכם/ן על תוכנה שיוצרת פרופיל ביצועים על מעבדי ARM9 (לא ARM > > > v9), אני נורא אשמח. > > > > > > תודה, > > > > > > שי גובר > > > > > > > > -- > > ----------------------------------------------------------------- > > Shlomi Fish http://www.shlomifish.org/ > > https://is.gd/MQHVF3 - The Atom Text Editor edits a 2,000,001B file > > > > Some people grow older and wiser. Not I. I grow older and more foolish. > > > > Please reply to list if it's a mailing list post - http://shlom.in/reply . > > _______________________________________________ > > Discussions mailing list > > Discussions@hamakor.org.il > > http://hamakor.org.il/cgi-bin/mailman/listinfo/discussions -- ----------------------------------------------------------------- Shlomi Fish http://www.shlomifish.org/ The Case for File Swapping - http://shlom.in/file-swap <talexb> “Hey, I have a flat tire. Can you help me change it with a can opener and a pound of sesame seeds?” — talexb on parsing HTML or XML with regular expressions. Please reply to list if it's a mailing list post - http://shlom.in/reply . _______________________________________________ Discussions mailing list Discussions@hamakor.org.il http://hamakor.org.il/cgi-bin/mailman/listinfo/discussions
