SVF

Новости

• Новый анализ безопасности программного обеспечения для анализа и проверки кода обучения с помощью SVF для развлечения и опыта!
• В настоящее время SVF поддерживает LLVM-16.0.0 с непрозрачными указателями (предоставленным Сяо Ченгом).
• Модернизируйте CMAKE SVF (внесен в Йоханнес).
• SVF теперь поддерживает LLVM-130.0 (спасибо Шенгджи Сюй за его помощь!).
• Кластеризация объектов, опубликованная в нашей бумаге OOPSLA, теперь доступна в SVF
• Хеш-концентрированные наборы, опубликованные в нашей бумаге SAS, теперь доступны в SVF
• Анализ программного обеспечения для обучения или обучения? Проверьте SVF-обучение!
• SVF теперь поддерживает LLVM-120.0 (спасибо Xiyu Yang за помощь!).
• VSFS, опубликованные в нашей бумаге CGO, теперь доступны в SVF
• TypeClone, опубликованный в нашей бумаге Ecoop, теперь доступен в SVF
• SVF теперь использует один сценарий для его сборки. Просто введите source ./build.sh в вашем терминале, вот и все!
• SVF теперь поддерживает LLVM-10.0.0!
• Мы благодарим BSAUCE за написание руководства пользователя SVF (Link1 и Link2) на китайском языке
• SVF теперь поддерживает LLVM-9.0.0 (спасибо Byoungyoung Lee за его помощь!).
• SVF теперь поддерживает набор анализа поля, чувствительных к указателю.
• Используйте SVF в качестве внешнего LIB для вашего собственного проекта (внесено в Hongxu Chen).
• SVF теперь поддерживает LLVM-7.0.0.
• SVF теперь поддерживает Docker. Попробуйте SVF в Docker!
• SVF теперь поддерживает LLVM-6.0.0 (предоставлен Джек Энтони).
• SVF теперь поддерживает LLVM-4.0.0 (внесен Джаред Карлсон. Спасибо Джареду и Уилл за их углубленные дискуссии об обновлении SVF!)
• SVF теперь поддерживает анализ для программ C ++.

Документация

SVF является статическим инструментом анализа потока значений для языков на основе LLVM. SVF (CC'16) способен выполнять

• AE ( абстрактное выполнение ): выполнение междомена (ICSE'24), анализ TypeState (FSE'24);
• WPA ( анализ всей программы ): чувствительный к полевым (SAS'19), чувствительный к потоку (CGO'21, OOPSLA'21) анализ;
• DDA ( анализ, управляемый спросом ): чувствительный к потоку, чувствительный к контексту, анализ точек в точках (FSE'16, TSE'18);
• MSSA ( конструкция формы SSA памяти ): области памяти, побочные эффекты, форма SSA (JSS'18);
• SABRE ( проверка ошибок памяти ): утечки памяти и двойные фраки (ISSTA'12, TSE'14, ICSE'18);
• MTA ( анализ многопоточных программ ): потоки стоимости для многопоточных программ (CGO'16);
• CFL ( анализ не свободного контекста ): стандартный решатель CFL, график и грамматика (OOPSLA'22, PLDI'23);
• SVFIR и MemoryModel ( SVFIR ): SVFIR, абстракция памяти и структуру данных точек (SAS'21);
• Графики: генерирование различных графиков , включая график вызовов, ICFG, график иерархии классов, график ограничений, график потока значений для статического анализа и встраивание кода (OOPSLA'20, TOSEM'21)

Мы выпускаем исходный код SVF с надеждой на пользу сообществу с открытым исходным кодом. Вас любезно просят признать использование инструмента, ссылаясь или ссылаясь на соответствующие публикации выше.

Doxygen Document SVF доступен здесь.

О SVF	Руководство по настройке	Руководство пользователя	Руководство разработчика
Представляем SVF - что он делает и как мы его проектируем	Пошаговое руководство по настройке для построения SVF	Параметры командной строки для запуска SVF, получения выходов анализа и тестирования SVF с примером или Ptaben	Подробная техническая документация и как написать свой собственный анализ в SVF или использовать SVF в качестве LIB для вашего инструмента, а также курс SVF