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
בדיקות סטטיות ודינאמיות של C בגיטלאב
שלום לכולם, הצטרפתי לפרויקט שיכתב ב-C ואני אחראי על נושא הבדיקות האוטומטיות. מדובר על חומרה ייעודית כך שאין לי ציפייה לקבל משהו משמעותי מבדיקות דינאמיות. אני אשמח לקבל הכוונה על היכולות של gitlab בנושא בדיקות סטטיות ל- C (תקן 99 אם זה משנה) ובדיקות דינאמיות. אם אין ל- gitlab פיתרון אז אני אשמח לקבל המלצות על תוכנות קוד פתוח או חינמיות שעושות את זה (כבר השתמשתי בגוגל ומסתבר שיש רשימה ארוכה, אז אני מחפש המלצות). כמוכן אם ידוע לכם/ן על תוכנה שיוצרת פרופיל ביצועים על מעבדי ARM9 (לא ARM v9), אני נורא אשמח. תודה, שי גובר ___ Discussions mailing list Discussions@hamakor.org.il http://hamakor.org.il/cgi-bin/mailman/listinfo/discussions