{{:svmranker:main.png?nolink|}}**[[main| Main ]]{{:svmranker:tool.png?nolink|}}[[tool| Tool ]]{{:svmranker:usage.png?nolink|}}[[usage| Usage & Case Study ]] **  
====== Tool ======


===== SVMRanker is available on GitHub =====
SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]].

----

===== Installation =====
You should have installed Python 3 and Java Development Kit on your system. Currently we can successfully run SVMRanker with Python 3.7 and JDK 8.0.

==== Install Python packages ====
  pip3 install z3-prover
  pip3 install click
  pip3 install sklearn
  pip3 install python-constraint
  

----

====== Related tools ======


[[http://irankfinder.loopkiller.com:8081/#sec-home |IRankFinder]]: A termination analyzer for (integer) transition systems which uses quasi-ranking functions \\
[[https://cpachecker.sosy-lab.org/|CPAChecker]]: A Software Verification Tool for Configurable Program Analyses \\
[[https://monteverdi.informatik.uni-freiburg.de/tomcat/Website/?ui=tool&tool=lasso_ranker|LassoRanker]]:A tool for synthesizing termination and nontermination arguments for linear lasso programs via constraint solving,



----

====== Contact ======
The SVMRanker is mainly developed by:

  * [[https://iscasmc.ios.ac.cn/?page_id=1388|Xuechao Sun]] (Institute of Software, CAS) 
  
  * [[https://iscasmc.ios.ac.cn/?page_id=1141|Yong Li]] (Institute of Software, CAS) 
  
  * [[https://iscasmc.ios.ac.cn/?page_id=1873|Xie Li]] (Institute of Software, CAS) 

Following people are also involved in the SVMRanker project:

  * [[http://sourcedb.cigit.cas.cn/zj/201206/t20120628_3606248.html| Yi Li ]] Chongqing Institute of Green and Intelligent Technology
  
  * [[https://iscasmc.ios.ac.cn/?page_id=152 | Andrea Turrini ]] (Institute of Software, CAS)
  
  * [[https://iscasmc.ios.ac.cn/?page_id=148 |Lijun Zhang ]] (Institute of Software, CAS)

Questions, comments and suggestions are welcome to be sent to one of the developers.

Address for visiting: Building 5, Software Park, No.4, South 4th Street, Zhongguancun, Haidian District, Beijing, China

Zip Code: 100190