Re: בדיקות סטטיות ודינאמיות של C בגיטלאב
I think you meant clan-analyzer and not clang-format https://clang-analyzer.llvm.org/ clang-analyzer is being used by Google for AOSP. 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 wrote: > Hi Shay! > > On Fri, 23 Nov 2018 03:23:22 +0200 > Shay Gover 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=v140-5b_=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 ___ Discussions mailing list Discussions@hamakor.org.il http://hamakor.org.il/cgi-bin/mailman/listinfo/discussions
Re: בדיקות סטטיות ודינאמיות של C בגיטלאב
תתחיל עם ניתוח של cppcheck ותמשיך משם. כמו שקיסוס אמר - רק לשלב את זה במסגרת ה-CI שלך. On Fri, Nov 23, 2018 at 7:56 AM Lior Kesos wrote: > תבדוק עם ל sonarcube שניתן לשלב ממש יפה אל תוך ה ci של gitlab > > https://docs.sonarqube.org/plugins/servlet/mobile?contentId=7996665#content/view/7996665 > > > On Fri, Nov 23, 2018, 3:23 AM Shay Gover >> שלום לכולם, >> >> הצטרפתי לפרויקט שיכתב ב-C ואני אחראי על נושא הבדיקות האוטומטיות. >> מדובר על חומרה ייעודית כך שאין לי ציפייה לקבל משהו משמעותי מבדיקות >> דינאמיות. >> >> אני אשמח לקבל הכוונה על היכולות של gitlab בנושא בדיקות סטטיות ל- C (תקן >> 99 אם זה משנה) ובדיקות דינאמיות. >> אם אין ל- gitlab פיתרון אז אני אשמח לקבל המלצות על תוכנות קוד פתוח או >> חינמיות שעושות את זה (כבר השתמשתי בגוגל ומסתבר שיש רשימה ארוכה, אז אני מחפש >> המלצות). >> >> כמוכן אם ידוע לכם/ן על תוכנה שיוצרת פרופיל ביצועים על מעבדי ARM9 (לא ARM >> v9), אני נורא אשמח. >> >> תודה, >> >> שי גובר >> >> >> >> ___ >> Discussions mailing list >> Discussions@hamakor.org.il >> http://hamakor.org.il/cgi-bin/mailman/listinfo/discussions > > ___ > Discussions mailing list > Discussions@hamakor.org.il > http://hamakor.org.il/cgi-bin/mailman/listinfo/discussions ___ Discussions mailing list Discussions@hamakor.org.il http://hamakor.org.il/cgi-bin/mailman/listinfo/discussions
Re: בדיקות סטטיות ודינאמיות של C בגיטלאב
Hi Shay! On Fri, 23 Nov 2018 03:23:22 +0200 Shay Gover 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=v140-5b_=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