Java checker framework

pecrom

Java checker framework
« kdy: 07. 12. 2016, 17:54:03 »
Ahojte, mam dotaz. Ma cenu pouzivat v jave checker framework (http://types.cs.washington.edu/checker-framework/). Mate s nim nekdo zkusenosti? Prijde mi trosku tezkopadny.


Kit

Re:Java checker framework
« Odpověď #1 kdy: 07. 12. 2016, 18:32:00 »
Odpověď hledej v otázce na začátku:
Citace
Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field?

ZAJDAN

  • *****
  • 2 092
    • Zobrazit profil
    • E-mail
Re:Java checker framework
« Odpověď #2 kdy: 07. 12. 2016, 19:59:09 »
Proc zrovna v tomto vlakne nevidim javamana co bere 150 tisic... Ten by preci na javu fundovane odpovedel!
Vesele, vesele do továrny dělník běží...vesele, vesele do továrny jde. Vesele se usmívá když mu soustruh zazpívá...vesele, vesele do továrny jde. Vesele si poskočí když se soustruh roztočí ...vesele, vesele do továrny jde.

javaman ()

Re:Java checker framework
« Odpověď #3 kdy: 07. 12. 2016, 20:02:39 »
Nepoužívám :D Jak psal Kit. Pravděpodobně to mám pokryté něčím jiným. Ale vypadá to cool, jestli to umí, co píšou.

Tuxik

  • *****
  • 1 473
    • Zobrazit profil
    • E-mail
Re:Java checker framework
« Odpověď #4 kdy: 07. 12. 2016, 22:48:49 »
Nepoužívám :D Jak psal Kit. Pravděpodobně to mám pokryté něčím jiným. Ale vypadá to cool, jestli to umí, co píšou.
Pravděpodobně... jestli... no tak, jsi lopata, nebo profík?


megajava man

Re:Java checker framework
« Odpověď #5 kdy: 07. 12. 2016, 23:06:40 »
Ja za 180kc.mesic takovy chyby nedelam.