Index

Symbols

--disable-c configure command line option --disable-python configure command line option --enable-byte configure command line option --help Help command line option --ignore-time mopsa-diff command line option --regression mopsa-diff command line option --summary mopsa-diff command line option --time-tolerance mopsa-diff command line option -c-check-explicit-cast-overflow c.memory.scalar.machine_numbers command line option -c-check-float-division-by-zero c.memory.scalar.machine_numbers command line option -c-check-float-invalid-operation c.memory.scalar.machine_numbers command line option -c-check-float-overflow c.memory.scalar.machine_numbers command line option -c-check-signed-arithmetic-overflow c.memory.scalar.machine_numbers command line option -c-check-signed-implicit-cast-overflow c.memory.scalar.machine_numbers command line option -c-check-unsigned-arithmetic-overflow c.memory.scalar.machine_numbers command line option -c-check-unsigned-implicit-cast-overflow c.memory.scalar.machine_numbers command line option -c-entry mopsa-c command line option -c-no-project-storage mopsa-c command line option -c-pack c.memory.packing.static_scope command line option -c-preprocess-and-exit mopsa-c command line option -c-show-line-coverage C-coverage-hook command line option -c-symbolic-args mopsa-c command line option -c-track-string-length c.memory.lowlevel.string_length command line option -cache General command line option -ccopt mopsa-c command line option -cell-deref-expand c.memory.lowlevel.cells command line option -cell-smash c.memory.lowlevel.cells command line option -clean-cur-only General command line option -config General command line option -debug Debug command line option -default-alloc-pol Recency command line option -disable-parser-cache mopsa-c command line option -engine Debug command line option -flamegraph Function-profiler-hook command line option -flamegraph-resolution Function-profiler-hook command line option -float-rounding-mode universal.numeric.values.intervals.float command line option -format Output command line option -h Help command line option -hash-heap-address universal.heap.recency command line option -help Help command line option -hook General command line option -I mopsa-c command line option

-json mopsa-db command line option -keep-state-partition-forever Output command line option -lflow Output command line option -list Help command line option -loop-decr-it universal.iterators.loops command line option -loop-full-unrolling universal.iterators.loops command line option -loop-full-unrolling-at universal.iterators.loops command line option -loop-no-cache universal.iterators.loops command line option -loop-unrolling universal.iterators.loops command line option -loop-unrolling-at universal.iterators.loops command line option -make-target mopsa-c command line option -marker Output command line option -max-set-size universal.numeric.values.powerset command line option -mod-interproc-size universal.iterators.interproc.sequential_cache command line option -no-color Output command line option -no-warning Output command line option -numeric universal.numeric.relation command line option -output Output command line option -py-dict-alloc-pol python.objects.dict command line option -py-disable-desugar-for-range python.desugar.loops" command line option -py-list-alloc-pol python.objects.list command line option -py-range-alloc-pol python.objects.range command line option -py-set-alloc-pol python.objects.set command line option -py-slice-alloc-pol python.objects.range command line option -py-tuple-alloc-pol python.objects.tuple command line option -share-dir General command line option -show-callstacks Alarm command line option -show-safe-checks Alarm command line option -silent Output command line option -state-partition-int-var Output command line option -state-partition-int-var-with-full-name Output command line option -stub-ignore-case stubs.iterators.body command line option -stub-use-forall-loop-evaluation stubs.iterators.fallback command line option -tail-markers Output command line option -unittest universal.iterators.unittest command line option -unittest-filter universal.iterators.unittest command line option -unprecise-exn python.flows.exceptions command line option -use-stub mopsa-c command line option -v General command line option mopsa-db command line option -Wall mopsa-c command line option -widening-delay universal.iterators.loops command line option -without-libc mopsa-c command line option

A

Alarm command line option -show-callstacks -show-safe-checks

C

C-coverage-hook command line option -c-show-line-coverage c.memory.lowlevel.cells command line option -cell-deref-expand -cell-smash c.memory.lowlevel.string_length command line option -c-track-string-length c.memory.packing.static_scope command line option -c-pack c.memory.scalar.machine_numbers command line option -c-check-explicit-cast-overflow -c-check-float-division-by-zero -c-check-float-invalid-operation -c-check-float-overflow -c-check-signed-arithmetic-overflow -c-check-signed-implicit-cast-overflow -c-check-unsigned-arithmetic-overflow -c-check-unsigned-implicit-cast-overflow

configure command line option --disable-c --disable-python --enable-byte

D

Debug command line option -debug -engine

E

environment variable LLVMCONFIG MOPSADB MOPSADBLOG

F

Function-profiler-hook command line option -flamegraph -flamegraph-resolution

G

General command line option -cache -clean-cur-only -config -hook -share-dir -v

H

Help command line option --help -h -help -list

M

mopsa-c command line option -c-entry -c-no-project-storage -c-preprocess-and-exit -c-symbolic-args -ccopt -disable-parser-cache -I -make-target -use-stub -Wall -without-libc

mopsa-db command line option -json -v target, [1] mopsa-diff command line option --ignore-time --regression --summary --time-tolerance

O

Output command line option -format -keep-state-partition-forever -lflow -marker -no-color -no-warning -output -silent -state-partition-int-var -state-partition-int-var-with-full-name -tail-markers

P

python.desugar.loops" command line option -py-disable-desugar-for-range python.flows.exceptions command line option -unprecise-exn python.objects.dict command line option -py-dict-alloc-pol python.objects.list command line option -py-list-alloc-pol

python.objects.range command line option -py-range-alloc-pol -py-slice-alloc-pol python.objects.set command line option -py-set-alloc-pol python.objects.tuple command line option -py-tuple-alloc-pol

R

Recency command line option -default-alloc-pol

S

stubs.iterators.body command line option -stub-ignore-case

stubs.iterators.fallback command line option -stub-use-forall-loop-evaluation

T

target mopsa-db command line option, [1]

U

universal.heap.recency command line option -hash-heap-address universal.iterators.interproc.sequential_cache command line option -mod-interproc-size universal.iterators.loops command line option -loop-decr-it -loop-full-unrolling -loop-full-unrolling-at -loop-no-cache -loop-unrolling -loop-unrolling-at -widening-delay

universal.iterators.unittest command line option -unittest -unittest-filter universal.numeric.relation command line option -numeric universal.numeric.values.intervals.float command line option -float-rounding-mode universal.numeric.values.powerset command line option -max-set-size