# Где скачать Svace: https://download.ispras.ru/svace
# Установка Svace:
	1. Выполнить команды:
		$ cd
		$ curl -L -o svace-4.0.250415-x64-linux.tar.bz2 'https://nextcloud.ispras.ru/index.php/s/esDHSTrDiomFBm7/download?path=%2FSvace&files=svace-4.0.250415-x64-linux.tar.bz2'
		$ tar -xjf svace-4.0.250415-x64-linux.tar.bz2
		$ mv svace-4.0.250415-x64-linux/ svace/
		$ ~/svace/bin/svace --version
			Svace version 4.0.250415

# Где скачать Svacer: https://svacer.ispras.ru/mediawiki/index.php?title=Svacer#Релизы
# Установка Svacer:
	1. Выполнить команды:
		$ cd
		$ curl -L -o svacer-11-0-0-linux.tar.gz 'https://svacer.ispras.ru/releases/svacer-11-0-0/svacer-11-0-0-linux.tar.gz'
		$ tar -xf svacer-11-0-0-linux.tar.gz
		$ mv svacer-11-0-0-linux/ svacer/
		$ ~/svacer/bin/svacer --version
			Svace History Server version 11-0-0.2025-05-15@07:37:07.cd454954

# Пример сборки пакета со Svace (выполняется разработчиком):
	1. На примере пакета bash, выполнить команды:
		$ rpm -ivh bash-5.1.8-9.el9.src.rpm
		$ cd ~/rpmbuild/SPECS/
		$ rpmbuild -bp bash.spec
		$ ~/svace/bin/svace init
		$ ~/svace/bin/svace build rpmbuild -bc bash.spec
			Assembled build object: [BUILD]cae0787233434246c6dd4b0e81697f7d40f90ab2
		$ tar -czf bash-5.1.8-9_svacer_dir_build.tar.gz .svace-dir/
	и передать файл <Название_пакета_версия>_svacer_dir_build.tar.gz в испытательную лабораторию

# Пример статического анализа пакета со Svace (выполняется испытательной лабораторией):
	1. Получить от разработчика файл <Название_пакета_версия>_svacer_dir_build.tar.gz
	2. На примере пакета bash, выполнить команды:
		$ ~/svace/bin/svace --version
			Svace version 4.0.250415
		$ cd ~/proj/bash-5.1.8-9/
		$ tar -xf bash-5.1.8-9_svacer_dir_build.tar.gz
		$ SVACE_LIC_CODE=XEKDC ~/svace/bin/svace analyze
			Total analysis time:  17s
		$ tar -czf bash-5.1.8-9_svacer_dir_analyze.tar.gz .svace-dir/
	и передать файл <Название_пакета_версия>_svacer_dir_analyze.tar.gz разработчику

# Загрузка результатов в Svacer (выполняется разработчиком):
	1. Получить от испытательной лаборатории файл <Название_пакета_версия>_svacer_dir_analyze.tar.gz
	2. Запустить Svacer, выполнив команды:
		$ cd ~/svacer/
		$ cd extra/
		$ sudo docker compose -f docker-compose.yml up -d
	3. На примере пакета bash, загрузить результаты статического анализа в Svacer, выполнив команды:
		$ cd ~/proj/bash-5.1.8-9/
		$ tar -xf bash-5.1.8-9_svacer_dir_analyze.tar.gz
		$ ~/svacer/bin/svacer import --svace ~/svace/bin/svace .
		$ ~/svacer/bin/svacer upload
	далее открыть в браузере http://<IP хоста, где запущен Svacer>:8080/, ввести admin / admin и выбрать анализируемый проект
	4. Во диалоговом окне Фильтры указать следующее:
		Степень серьезности детектора: Critical, Major
		Уровень надежности детектора: VeryHigh, High
	и нажать кнопку Применить. Оставшиеся срабатывания на вкладке Детекторы необходимо разметить