Difference between revisions of "STATOR:Establishing code-base"

From STATOR
Jump to navigation Jump to search
(Created page with "Here we list pros and cons of all our approaches towards establishing STATOR's code-base.")
 
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].

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

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