Visual
HomeAboutCreateSign in Русский

Проверка пересечения ссылочных параметров

Проверка того, что через разные формальные параметры передан один и тот же фактический.
Подход основан на обнаружении связанного изменения. Подробней — https://vostok-space.blogspot.com/2023/12/equal-ref-check.html

License: Apache-2.0
#Безопасность

Konstantin
Model is published
Oberon & OberonJSSource code
Result  

check indices in arrays

Project modules:
Init
SameVar
Reverse
Framework modules:
Log Docu
Draw Docu
Math Docu
Strings Docu
Forms Docu
Plot Docu
Out Docu
In Docu