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 16: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