softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses
Other
13 stars 12 forks source link

Add support for `string-set!` and `string-fill!` #14

Closed acieroid closed 3 years ago

acieroid commented 3 years ago

This would require store-allocating strings, and may have an impact on the size of the store, as well as on precision.

This is required for benchmarks such as gambit/compiler.scm, gambit/scheme.scm, and gambit/slatex.scm

noahvanes commented 3 years ago

Strings are now store-allocated, and primitives string-set! and string-fill! have been added.

Caveat: the current string-set! implementation is sound, but not always the most precise (cf. #17)

Notes about the mentioned benchmark programs: