Difference between revisions of "STATOR:Establishing code-base"
Jump to navigation
Jump to search
Marek Trtik (talk | contribs) (Created page with "Here we list pros and cons of all our approaches towards establishing STATOR's code-base.") |
Marek Trtik (talk | contribs) |
||
Line 1: | Line 1: | ||
− | Here we list pros and cons of all our approaches towards establishing STATOR's code-base. | + | Here we list pros and cons of all our approaches towards establishing STATOR's code-base. All pros/cons are listed in the order from the most important to the least one. We further assign for all listed pros/cons a global "importance level", which is a number in [1,...,10]. |
+ | |||
+ | == Preferences to main implementation language == | ||
+ | |||
+ | === Java === | ||
+ | |||
+ | * <b>pros</b> | ||
+ | ** a | ||
+ | |||
+ | * <b>cons</b> | ||
+ | ** a | ||
+ | |||
+ | === F# === | ||
+ | |||
+ | * <b>pros</b> | ||
+ | ** a | ||
+ | |||
+ | * <b>cons</b> | ||
+ | ** a | ||
+ | |||
+ | === OCaml === | ||
+ | |||
+ | * <b>pros</b> | ||
+ | ** a | ||
+ | |||
+ | * <b>cons</b> | ||
+ | ** a | ||
+ | |||
+ | |||
+ | === C++ === | ||
+ | |||
+ | * <b>pros</b> | ||
+ | ** a | ||
+ | |||
+ | * <b>cons</b> | ||
+ | ** a | ||
+ | |||
+ | === Java === | ||
+ | |||
+ | * <b>pros</b> | ||
+ | ** a | ||
+ | |||
+ | * <b>cons</b> | ||
+ | ** a | ||
+ | |||
+ | == == | ||
+ | |||
+ | |||
+ | == pros of CPAchecker == | ||
+ | |||
+ | == cons of CPAchecker == | ||
+ | |||
+ | == pros of Stanse == | ||
+ | |||
+ | == cons of Stanse == | ||
+ | |||
+ | == pros of PAGAI == | ||
+ | |||
+ | == cons of PAGAI == | ||
+ | |||
+ | == pros of FramaC == | ||
+ | |||
+ | == cons of FramaC == | ||
+ | |||
+ | == pros of Predator == | ||
+ | |||
+ | == cons of Predator == |
Revision as of 15:54, 25 July 2014
Here we list pros and cons of all our approaches towards establishing STATOR's code-base. All pros/cons are listed in the order from the most important to the least one. We further assign for all listed pros/cons a global "importance level", which is a number in [1,...,10].
Contents
Preferences to main implementation language
Java
- pros
- a
- cons
- a
F#
- pros
- a
- cons
- a
OCaml
- pros
- a
- cons
- a
C++
- pros
- a
- cons
- a
Java
- pros
- a
- cons
- a