Есть и Си-подобные без опасных сущностей. Как я понял исходную идею, автор предлагает сделать разное распределение переменных и кода по доступной памяти у двух копий. В таком случае выход за границы массива, или запись по чужому адресу, все это будет приводить к разным нарушениям хода программы у каждой из копий, что позволит обнаружить что что-то идет не так. На сколько это будет эффективно я не берусь судить. Мировое развитие, как я понял, идет в сторону использования языков без опасных сущностей, т.к. обнаруживать это хорошо, но еще лучше не допускать такой возможности в принципе. Правда все это будет работать только если данные в каждую копию поступают строго одинаковые, т.е. все асинхронные процессы должны быть синхронизированы.
В принципе, может быть полезно делать сборку программы с разной последовательностью исходных файлов, тогда буферы и код будут распределены в разном порядке, может быть при какой-то комбинации проявится выход за границы. Но я бы не сказал, что это даст больше чем анализ кода каким-то ИИ.
AlexBi (Сегодня, 14:57, просмотров: 27) ответил Cкpипaч на Он еще не учел что программирование на языках 61131-3 напрочь
освобождает от буферов, указателей и прочих опасных сущностей.