There is a newer version of the record available.

Published December 20, 2022 | Version v1.9.8
Software Open

rindPHI/isla: ISLa 1.9.8

Authors/Creators

  • 1. https://www.cispa.de/en

Description

[1.9.8] - 2022-12-20 Changed
  • Fixed "build" shield in README.md
  • Changed computation of symbol costs in solver; now computed statically from grammar graph, not using fuzzer.
[1.9.7] - 2022-12-16 Changed
  • Fix in performance evaluator; improves output, where an error (w/o consequences) was shown in case of an intentional timeout. Now, the solvers terminate silently after the set timeout.
  • Small performance improvements in establishing normal form, computing potential matches, and performing substitutions in SMT formulas.

Files

rindPHI/isla-v1.9.8.zip

Files (359.1 kB)

Name Size Download all
md5:836526a19e564782090bb73a6162a413
359.1 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/rindPHI/isla/tree/v1.9.8 (URL)