Re: בדיקות סטטיות ודינאמיות של C בגיטלאב
this is what I know about clang-format : $ clang-format -helpOVERVIEW: *A tool to format* C/C++/Java/JavaScript/Objective-C/Protobuf code. https://clang.llvm.org/docs/ClangFormat.html On Sat, Dec 1, 2018 at 2:32 PM Shlomi Fish wrote: > Hello Sagi! > > On Fri, 23 Nov 2018 15:40:13 +0200 > Sagi Ben-Akiva 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 > 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 > > > > -- > - > Shlomi Fish http://www.shlomifish.org/ > The Case for File Swapping - http://shlom.in/file-swap > > “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
Re: בדיקות סטטיות ודינאמיות של C בגיטלאב
Hello Sagi! On Fri, 23 Nov 2018 15:40:13 +0200 Sagi Ben-Akiva 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 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 -- - Shlomi Fish http://www.shlomifish.org/ The Case for File Swapping - http://shlom.in/file-swap “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
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 בגיטלאב
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
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 בגיטלאב
תבדוק עם ל 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
