Issues

• Add support for multi-line and other comments

  Low priorityScheme parserScheme
  softwarelanguageslab/maf#31 · Filter by author bramvdbogaerde opened on Feb 17, 2022

• Vararg list addresses may accidentally overlap with other addresses

  BugScheme
  softwarelanguageslab/maf#30 · Filter by author noahvanes opened on Nov 21, 2021

• Extensibility of MAF

  Abstract domainLow priorityScheme
  softwarelanguageslab/maf#28 · Filter by author bramvdbogaerde opened on Nov 3, 2021
  1

• The Scheme Expressions do not consistently use SchemeVar

  Low priorityScheme parserScheme
  softwarelanguageslab/maf#27 · Filter by author jevdplas opened on Nov 3, 2021
  1

• Uniform lattice operations

  Abstract domainEnhancementLow priorityScheme
  softwarelanguageslab/maf#24 · Filter by author noahvanes opened on Jan 19, 2021

• Factor out reference types in SchemeLattice

  Abstract domainEnhancementLow priorityScheme
  softwarelanguageslab/maf#23 · Filter by author noahvanes opened on Jan 19, 2021

• Factor our the inner Value trait in ModularSchemeLattice

  Abstract domainEnhancementScheme
  softwarelanguageslab/maf#22 · Filter by author noahvanes opened on Jan 19, 2021

• Support failures in core lattice operations

  Abstract domainEnhancement
  softwarelanguageslab/maf#21 · Filter by author noahvanes opened on Jan 19, 2021
  1

• Parameterising the abstract domains for Scheme vectors and pairs

  Abstract domainEnhancementScheme
  softwarelanguageslab/maf#20 · Filter by author noahvanes opened on Jan 19, 2021

• Support for Scheme vector literals

  EnhancementLow priorityScheme parserScheme
  softwarelanguageslab/maf#19 · Filter by author noahvanes opened on Jan 19, 2021
  1

• Support first-class continuations in SchemeInterpreter

  EnhancementSchemeStandard library
  softwarelanguageslab/maf#18 · Filter by author noahvanes opened on Jan 19, 2021
  1

• Allow for specialisation in core lattices interfaces

  Abstract domainEnhancement
  softwarelanguageslab/maf#17 · Filter by author noahvanes opened on Jan 19, 2021

• Automate precision tests and track precision across commits

  EnhancementTest suite
  softwarelanguageslab/maf#15 · Filter by author acieroid opened on Jan 14, 2021
  2

• Persisting the analysis state

  EnhancementModular analysisStudent project?
  softwarelanguageslab/maf#13 · Filter by author jevdplas opened on Dec 10, 2020
  3

• Non-determinism with duplicate code definitions

  BugLow priority
  softwarelanguageslab/maf#12 · Filter by author jevdplas opened on Nov 16, 2020
  1

• Better error reporting by Scheme parser

  EnhancementLow priorityScheme parserScheme
  softwarelanguageslab/maf#7 · Filter by author jevdplas opened on Oct 16, 2020

• Expand the soundness tests

  EnhancementLow prioritySchemeTest suite
  softwarelanguageslab/maf#6 · Filter by author jevdplas opened on Oct 16, 2020

• Enable soundness tests on all benchmarks

  EnhancementNormal prioritySchemeTest suite
  softwarelanguageslab/maf#4 · Filter by author jevdplas opened on Oct 16, 2020

• Use a plain Scheme file for the prelude

  EnhancementLow priority
  softwarelanguageslab/maf#1 · Filter by author acieroid opened on Oct 7, 2020