Help:Match - Revision history

Ruseer: /* Классический режим генерации инвариантов */

2025-09-05T10:00:05Z

Классический режим генерации инвариантов

← Older revision		Revision as of 13:00, 5 September 2025
Line 66:		Line 66:

	При использовании данного режима перенос разметки и поведение опций по <code>quality gate</code> и <code>quick stats</code>будет более детерменировано, т.к генерация инвариантов не использует информацию об уже содержащихся снимках на ветке.		При использовании данного режима перенос разметки и поведение опций по <code>quality gate</code> и <code>quick stats</code>будет более детерменировано, т.к генерация инвариантов не использует информацию об уже содержащихся снимках на ветке.

			'''ВНИМАНИЕ''': измениие алгоритма генерации инвариантов приведет к пересчету всех инвариантов на сервере. Это может занять время. Рекомендуется сделать бэкап базы перед изменением опций.

	==== Отключение миграции инвариантов ====		==== Отключение миграции инвариантов ====

Ruseer: /* Опции сервера, влияющие на алгоритм генерации инвариантов */

2025-09-05T09:59:00Z

Опции сервера, влияющие на алгоритм генерации инвариантов

← Older revision		Revision as of 12:59, 5 September 2025
Line 57:		Line 57:

	=== Опции сервера, влияющие на алгоритм генерации инвариантов ===		=== Опции сервера, влияющие на алгоритм генерации инвариантов ===

			==== Классический режим генерации инвариантов ====
			Для включения режима сопоставления используемого в релизах 8 и ранее можно использовать опцию

			<code>svacer-server run --classic-inv-mode</code>

			либо определить переменную <code>SVACER_CLASSIC_INV_MODE=true</code>

			При использовании данного режима перенос разметки и поведение опций по <code>quality gate</code> и <code>quick stats</code>будет более детерменировано, т.к генерация инвариантов не использует информацию об уже содержащихся снимках на ветке.

	==== Отключение миграции инвариантов ====		==== Отключение миграции инвариантов ====

Ruseer: /* Классический режим генерации инвариантов */

2025-06-02T08:57:23Z

Классический режим генерации инвариантов

← Older revision		Revision as of 11:57, 2 June 2025
Line 63:		Line 63:

	При запуске сервера с данной опцией пересчет инвариантов происходить не будет.		При запуске сервера с данной опцией пересчет инвариантов происходить не будет.

	~~==== Классический режим генерации инвариантов ====~~
	~~--classic-inv-mode~~

	~~Переменная окружения:~~
	~~SVACER_CLASSIC_INV_MODE=true\|false~~

	~~Данный режим устанавливает правила генерации инвариантов в соответствии с версией Svacer <= 8.x.x~~

	==== Отключение минимизации путей ====		==== Отключение минимизации путей ====

Akuzmin: minor fixes

2025-05-13T12:51:35Z

minor fixes

← Older revision		Revision as of 15:51, 13 May 2025
Line 59:		Line 59:

	==== Отключение миграции инвариантов ====		==== Отключение миграции инвариантов ====
	Для отключения операции по пересчету и миграции инвариантов при старте можно использовать ~~env variable <code>~~SVACER_NO_INVARIANT_MIGRATION=true~~</code>.~~		Для отключения операции по пересчету и миграции инвариантов при старте можно использовать переменную окружения
			SVACER_NO_INVARIANT_MIGRATION=true

	При запуске сервера с данной опцией пересчет инвариантов происходить не будет		При запуске сервера с данной опцией пересчет инвариантов происходить не будет.

	==== Классический режим генерации инвариантов ====		==== Классический режим генерации инвариантов ====
	--classic-inv-mode		--classic-inv-mode

	~~env variable:~~ SVACER_CLASSIC_INV_MODE=true\|false		Переменная окружения:
			SVACER_CLASSIC_INV_MODE=true\|false

	Данный режим устанавливает правила генерации инвариантов в соответствии с версией Svacer <= 8.x.x		Данный режим устанавливает правила генерации инвариантов в соответствии с версией Svacer <= 8.x.x

	==== Отключение минимизации путей ====		==== Отключение минимизации путей ====
	При использовании следующей опции или соответствующей переменной окружения, механизм минимизации путей будет отключен.		При использовании следующей опции или соответствующей переменной окружения, механизм минимизации путей будет отключен.
	--no-path-min		--no-path-min

	~~env variable:~~ SVACER_NO_PATH_MIN=true\|false		Переменная окружения:
			SVACER_NO_PATH_MIN=true\|false

	==== Отключение шагов 2, 3 ====		==== Отключение шагов 2, 3 ====

Ruseer: /* Опции сервера, влияющие на алгоритм генерации инвариантов */

2025-05-12T05:49:40Z

Опции сервера, влияющие на алгоритм генерации инвариантов

@@ Line 57: / Line 57: @@
 === Опции сервера, влияющие на алгоритм генерации инвариантов ===
 ==== Отключение минимизации путей ====
 При использовании следующей опции или соответствующей переменной окружения, механизм минимизации путей будет отключен.

Ruseer: Добавлено описание нормализации Lang и Tool

2025-02-04T06:46:20Z

Добавлено описание нормализации Lang и Tool

@@ Line 30: / Line 30: @@
 * Проверяется, были ли ручные сопоставления предупреждений на ветке (branch) и инварианты корректируются исходя из таблицы ручных сопоставлений. При ручном сопоставлении предупреждениям назначается уникальный инвариант и запоминается информация об эквивалентности назначенного инварианта инвариантам полученным на шагах 1 и 2.
 === Опции сервера, влияющие на алгоритм генерации инвариантов ===
@@ Line 44: / Line 69: @@
 === Ручное сопоставление предупреждений (экспериментальная возможность) ===
-Пользователь может выполнить ручное сопоставление предупреждений из [[Help:UI_manual#Сопоставление_маркеров|веб-интерфейса]] и CLI. В данной секции описывается механизм ручного сопоставления из CLI.
+Пользователь может выполнить ручное сопоставление предупреждений из [[Help:UI manual#Сопоставление маркеров|веб-интерфейса]] и CLI. В данной секции описывается механизм ручного сопоставления из CLI.
 Для ручного сопоставления предупреждений из CLI пользователь должен использовать команду <code>svacer marker match</code>. Команда требует обязательной аутентификации и пользователь должен иметь права на разметку в проекте и ветке, где хочет выполнить сопоставление. Сопоставить можно предупреждения из '''разных''' снимков '''одной''' ветки. При ручном сопоставлении все предупреждения, которые эквивалентны по инвариантам первому предупреждению или второму, будут автоматически считаться эквивалентными. Одно и то же предупреждение может быть сопоставлено с множеством других предупреждений, но каждое из выбранных предупреждений должно находиться в различных снимках. Нельзя сопоставить два или более предупреждений из одного снимка одному предупреждению из другого снимка.

Akuzmin: add link to manual markers matching from UI

2024-08-01T12:54:47Z

add link to manual markers matching from UI

← Older revision		Revision as of 15:54, 1 August 2024
Line 44:		Line 44:

	=== Ручное сопоставление предупреждений (экспериментальная возможность) ===		=== Ручное сопоставление предупреждений (экспериментальная возможность) ===
	Пользователь может выполнить ручное сопоставление предупреждений из веб интерфейса и CLI. В данной секции описывается механизм ручного сопоставления из CLI.		Пользователь может выполнить ручное сопоставление предупреждений из [[Help:UI_manual#Сопоставление_маркеров\|веб-интерфейса]] и CLI. В данной секции описывается механизм ручного сопоставления из CLI.

	Для ручного сопоставления предупреждений из CLI пользователь должен использовать команду <code>svacer marker match</code>. Команда требует обязательной аутентификации и пользователь должен иметь права на разметку в проекте и ветке, где хочет выполнить сопоставление. Сопоставить можно предупреждения из '''разных''' снимков '''одной''' ветки. При ручном сопоставлении все предупреждения, которые эквивалентны по инвариантам первому предупреждению или второму, будут автоматически считаться эквивалентными. Одно и то же предупреждение может быть сопоставлено с множеством других предупреждений, но каждое из выбранных предупреждений должно находиться в различных снимках. Нельзя сопоставить два или более предупреждений из одного снимка одному предупреждению из другого снимка.		Для ручного сопоставления предупреждений из CLI пользователь должен использовать команду <code>svacer marker match</code>. Команда требует обязательной аутентификации и пользователь должен иметь права на разметку в проекте и ветке, где хочет выполнить сопоставление. Сопоставить можно предупреждения из '''разных''' снимков '''одной''' ветки. При ручном сопоставлении все предупреждения, которые эквивалентны по инвариантам первому предупреждению или второму, будут автоматически считаться эквивалентными. Одно и то же предупреждение может быть сопоставлено с множеством других предупреждений, но каждое из выбранных предупреждений должно находиться в различных снимках. Нельзя сопоставить два или более предупреждений из одного снимка одному предупреждению из другого снимка.

Akuzmin: add warning icon

2024-06-18T15:58:42Z

add warning icon

← Older revision		Revision as of 18:58, 18 June 2024
Line 41:		Line 41:
	Для отключения шагов 2 и 3 необходимо использовать переменную окружения		Для отключения шагов 2 и 3 необходимо использовать переменную окружения
	SVACER_NO_MATCH_BY_CORE=true		SVACER_NO_MATCH_BY_CORE=true
	~~'''ВНИМАНИЕ:''' данная~~ опция не рекомендуется, т. к. нарушает совместимость с алгоритмом генерации, используемом в прежних версиях Svacer.		{{Note}} Данная опция не рекомендуется, т. к. нарушает совместимость с алгоритмом генерации, используемом в прежних версиях Svacer.

	=== Ручное сопоставление предупреждений (экспериментальная возможность) ===		=== Ручное сопоставление предупреждений (экспериментальная возможность) ===
Line 89:		Line 89:
	Где <code>id1, id2, ...</code> — список id операций полученных командой <code>svacer marker match-journal</code>		Где <code>id1, id2, ...</code> — список id операций полученных командой <code>svacer marker match-journal</code>

	~~'''Внимание:''' при~~ отмене ручных сопоставлений вычисляется замыкание всех связанных сопоставлений и, далее, отменяется всё замыкание. Таким образом, если пользователь сопоставил два предупреждения, а потом одно из сопоставленных сопоставил с еще одним новым предупреждением, то при отмене первой операции будет отменена и вторая.		{{Note}} При отмене ручных сопоставлений вычисляется замыкание всех связанных сопоставлений и, далее, отменяется всё замыкание. Таким образом, если пользователь сопоставил два предупреждения, а потом одно из сопоставленных сопоставил с еще одним новым предупреждением, то при отмене первой операции будет отменена и вторая.

Akuzmin: remove some extra spaces

2024-06-05T13:52:38Z

remove some extra spaces

← Older revision		Revision as of 16:52, 5 June 2024
Line 48:		Line 48:
	Для ручного сопоставления предупреждений из CLI пользователь должен использовать команду <code>svacer marker match</code>. Команда требует обязательной аутентификации и пользователь должен иметь права на разметку в проекте и ветке, где хочет выполнить сопоставление. Сопоставить можно предупреждения из '''разных''' снимков '''одной''' ветки. При ручном сопоставлении все предупреждения, которые эквивалентны по инвариантам первому предупреждению или второму, будут автоматически считаться эквивалентными. Одно и то же предупреждение может быть сопоставлено с множеством других предупреждений, но каждое из выбранных предупреждений должно находиться в различных снимках. Нельзя сопоставить два или более предупреждений из одного снимка одному предупреждению из другого снимка.		Для ручного сопоставления предупреждений из CLI пользователь должен использовать команду <code>svacer marker match</code>. Команда требует обязательной аутентификации и пользователь должен иметь права на разметку в проекте и ветке, где хочет выполнить сопоставление. Сопоставить можно предупреждения из '''разных''' снимков '''одной''' ветки. При ручном сопоставлении все предупреждения, которые эквивалентны по инвариантам первому предупреждению или второму, будут автоматически считаться эквивалентными. Одно и то же предупреждение может быть сопоставлено с множеством других предупреждений, но каждое из выбранных предупреждений должно находиться в различных снимках. Нельзя сопоставить два или более предупреждений из одного снимка одному предупреждению из другого снимка.

	svacer marker match --user user --password password --host host --project project --branch branch --v1 snapshot1 --v2 snapshot2 id11=id21 id12=id22 id13=id23		svacer marker match --user user --password password --host host --project project --branch branch --v1 snapshot1 --v2 snapshot2 id11=id21 id12=id22 id13=id23

	Под аргументами операции подразумеваются пары ID маркеров из снимков указанных в параметрах <code>--v1</code> и <code>--v2</code>. Для удобства пользователя, можно использовать числовой ID маркера, который может быть получен через CLI команду		Под аргументами операции подразумеваются пары ID маркеров из снимков указанных в параметрах <code>--v1</code> и <code>--v2</code>. Для удобства пользователя, можно использовать числовой ID маркера, который может быть получен через CLI команду
Line 73:		Line 73:
	Для получения списка ручных сопоставлений пользователь должен использовать команду <code>svacer marker match-journal</code>		Для получения списка ручных сопоставлений пользователь должен использовать команду <code>svacer marker match-journal</code>

	svacer marker match-journal --host host --user user --password password --project project --branch branch		svacer marker match-journal --host host --user user --password password --project project --branch branch

	Формат вывода контролируется опцией <code>--out-format</code> и может быть <code>json</code>, текст (<code>txt</code>, default), <code>csv</code>. При указании опции <code>--out-file</code> вывод будет направлен в указанный файл.		Формат вывода контролируется опцией <code>--out-format</code> и может быть <code>json</code>, текст (<code>txt</code>, default), <code>csv</code>. При указании опции <code>--out-file</code> вывод будет направлен в указанный файл.
Line 85:		Line 85:
	Для отмены ручных сопоставлений пользователь должен использовать команду		Для отмены ручных сопоставлений пользователь должен использовать команду

	svacer marker unapply-match --host host --user user --password password --project project --branch branch id1 id2 id2 ...		svacer marker unapply-match --host host --user user --password password --project project --branch branch id1 id2 id2 ...

	Где <code>id1, id2, ...</code> — список id операций полученных командой <code>svacer marker match-journal</code>		Где <code>id1, id2, ...</code> — список id операций полученных командой <code>svacer marker match-journal</code>

	'''Внимание:''' при отмене ручных сопоставлений вычисляется замыкание всех связанных сопоставлений и, далее, отменяется всё замыкание. Таким образом, если пользователь сопоставил два предупреждения, а потом одно из сопоставленных сопоставил с еще одним новым предупреждением, то при отмене первой операции будет отменена и вторая.		'''Внимание:''' при отмене ручных сопоставлений вычисляется замыкание всех связанных сопоставлений и, далее, отменяется всё замыкание. Таким образом, если пользователь сопоставил два предупреждения, а потом одно из сопоставленных сопоставил с еще одним новым предупреждением, то при отмене первой операции будет отменена и вторая.

Akuzmin: minor fixes

2024-06-05T13:51:51Z

minor fixes

← Older revision		Revision as of 16:51, 5 June 2024
Line 46:		Line 46:
	Пользователь может выполнить ручное сопоставление предупреждений из веб интерфейса и CLI. В данной секции описывается механизм ручного сопоставления из CLI.		Пользователь может выполнить ручное сопоставление предупреждений из веб интерфейса и CLI. В данной секции описывается механизм ручного сопоставления из CLI.

	Для ручного сопоставления предупреждений из CLI пользователь должен использовать команду <code>svacer marker match</code>. Команда требует обязательной аутентификации и пользователь должен иметь права на разметку в проекте и ветке, где хочет выполнить сопоставление. Сопоставить можно предупреждения из '''разных''' снимков '''одной''' ветки. При ручном сопоставлении все предупреждения, ~~какие~~ эквивалентны по инвариантам первому предупреждению или второму, будут автоматически считаться эквивалентными. Одно и то же предупреждение может быть сопоставлено с множеством других предупреждений, но каждое из выбранных предупреждений должно находиться в различных снимках. Нельзя сопоставить два или более предупреждений из одного снимка одному предупреждению из другого снимка.		Для ручного сопоставления предупреждений из CLI пользователь должен использовать команду <code>svacer marker match</code>. Команда требует обязательной аутентификации и пользователь должен иметь права на разметку в проекте и ветке, где хочет выполнить сопоставление. Сопоставить можно предупреждения из '''разных''' снимков '''одной''' ветки. При ручном сопоставлении все предупреждения, которые эквивалентны по инвариантам первому предупреждению или второму, будут автоматически считаться эквивалентными. Одно и то же предупреждение может быть сопоставлено с множеством других предупреждений, но каждое из выбранных предупреждений должно находиться в различных снимках. Нельзя сопоставить два или более предупреждений из одного снимка одному предупреждению из другого снимка.
	svacer marker match --user user --password password --host host --project project --branch branch --v1 snapshot1 --v2 snapshot2 id11=id21 id12=id22 id13=id23
	Под аргументами операции подразумеваются пары ID маркеров из снимков указанных в параметрах <code>--v1</code> и <code>--v2</code>. Для удобства пользователя, можно использовать числовой ID маркера, который может быть получен через CLI команду		svacer marker match --user user --password password --host host --project project --branch branch --v1 snapshot1 --v2 snapshot2 id11=id21 id12=id22 id13=id23

			Под аргументами операции подразумеваются пары ID маркеров из снимков указанных в параметрах <code>--v1</code> и <code>--v2</code>. Для удобства пользователя, можно использовать числовой ID маркера, который может быть получен через CLI команду

	svacer marker list --host host --user user --password pwd --project project		svacer marker list --host host --user user --password pwd --project project
	Формат задается опцией <code>--out-format=json\|txt\|csv</code> . Если формат по умолчанию (txt), то данная команда выдает список предупреждений в виде таблицы
			Формат задается опцией <code>--out-format=json\|txt\|csv</code>. Если формат по умолчанию (txt), то данная команда выдает список предупреждений в виде таблицы

	# warn file line review msg		# warn file line review msg
	1000 INVARIANT_RESULT /.build/subst.c 7080 Expression 'tl->word->flags \| (1 << 21)' is always		1000 INVARIANT_RESULT /.build/subst.c 7080 Expression 'tl->word->flags \| (1 << 21)' is always
Line 62:		Line 67:
	При указании опции <code>--out-file</code> вывод будет направлен в указанный файл.		При указании опции <code>--out-file</code> вывод будет направлен в указанный файл.

	В таблице первая колонка содержит числовой ID предупреждения, ~~какой~~ может быть использован для сопоставления предупреждений.		В таблице первая колонка содержит числовой ID предупреждения, который может быть использован для сопоставления предупреждений.

	При использовании команды <code>svacer marker match</code> пользователь может указывать как имя проекта и ветки. так и их ID.		При использовании команды <code>svacer marker match</code> пользователь может указывать как имя проекта и ветки, так и их ID.

	Для получения списка ручных сопоставлений пользователь должен использовать команду <code>svacer marker match-journal</code>		Для получения списка ручных сопоставлений пользователь должен использовать команду <code>svacer marker match-journal</code>

	svacer marker match-journal --host host --user user --password password --project project --branch branch		svacer marker match-journal --host host --user user --password password --project project --branch branch
	Формат вывода контролируется опцией <code>--out-format</code> и может быть <code>json</code> , текст (<code>txt</code>, default), <code>csv</code>. При указании опции <code>--out-file</code> вывод будет направлен в указанный файл.
			Формат вывода контролируется опцией <code>--out-format</code> и может быть <code>json</code>, текст (<code>txt</code>, default), <code>csv</code>. При указании опции <code>--out-file</code> вывод будет направлен в указанный файл.

	# v marker snapshot_id snapshot_name created_by create_ts		# v marker snapshot_id snapshot_name created_by create_ts
	2 v1 DEREF_OF_NULL.CONST:test.c:9 b51009b6-cdbe-463a-b324-c87143bb0372 S3 admin Fri Mar 22 08:16:03 UTC 2024		2 v1 DEREF_OF_NULL.CONST:test.c:9 b51009b6-cdbe-463a-b324-c87143bb0372 S3 admin Fri Mar 22 08:16:03 UTC 2024
Line 74:		Line 82:
	1 v1 DEREF_OF_NULL.CONST:test.c:8 3c20cd4e-e5d9-479b-b618-7db852ed0133 S2 admin Fri Mar 22 08:01:06 UTC 2024		1 v1 DEREF_OF_NULL.CONST:test.c:8 3c20cd4e-e5d9-479b-b618-7db852ed0133 S2 admin Fri Mar 22 08:01:06 UTC 2024
	v2 DEREF_OF_NULL.CONST:test.c:8 8a9c4330-c131-44e1-bf09-b1d3a245b317 S1		v2 DEREF_OF_NULL.CONST:test.c:8 8a9c4330-c131-44e1-bf09-b1d3a245b317 S1

	Для отмены ручных сопоставлений пользователь должен использовать команду		Для отмены ручных сопоставлений пользователь должен использовать команду

	svacer marker unapply-match --host host --user user --password password --project project --branch branch id1 id2 id2 ...		svacer marker unapply-match --host host --user user --password password --project project --branch branch id1 id2 id2 ...
	Где <code>id1, id2, ...</code> - список id операций полученных командой <code>svacer marker match-journal</code>. '''Внимание:''' при отмене ручных сопоставлений вычисляется замыкание всех связанных сопоставлений и, далее, отменяется всё замыкание. Таким образом, если пользователь сопоставил два предупреждения, а потом одно из сопоставленных сопоставил с еще одним новым предупреждением, то при отмене первой операции будет отменена и вторая.
			Где <code>id1, id2, ...</code> — список id операций полученных командой <code>svacer marker match-journal</code>

			'''Внимание:''' при отмене ручных сопоставлений вычисляется замыкание всех связанных сопоставлений и, далее, отменяется всё замыкание. Таким образом, если пользователь сопоставил два предупреждения, а потом одно из сопоставленных сопоставил с еще одним новым предупреждением, то при отмене первой операции будет отменена и вторая.