ikos

There are 0 repository under ikos topic.

• 95616ARG / pikos_popl2020

  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation

  abstract-interpretationikosparallelismstatic-analysis
  Language:C++ 16

• 95616ARG / mikos_sas2020

  Memory-Efficient Fixpoint Computation for Abstract Interpretation

  abstract-interpretationikosstatic-analysis
  Language:C++ 5

• Facthunder / ikos

  Docker image for ikos

  ikosdockerdocker-imageccode-analysisanalyzerstatic-analysis
  Language:Dockerfile 1

• kalvotom / docker-ikos

  iKOS docker image

  cvutdocker-imageikos
  Language:Dockerfile 1