#pvs — Public Fediverse posts

Taint-анализ в C и C++ анализаторе PVS-Studio

Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти невозможно. Но есть "сапёр" — статический анализатор. Инструмент нашего "сапёра" — taint-анализ (aka анализ помеченных данных). Он позволяет обнаружить "грязные" данные, дошедшие до опасных мест без проверки. Сегодня мы расскажем о том, как он работает.

https://habr.com/ru/companies/pvs-studio/articles/960448/

#taint_analysis #taint #static_analysis #pvsstudio #pvs #c++ #dataflow #dataflow_analysis #security #software_security

Taint-анализ в C и C++ анализаторе PVS-Studio

Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти невозможно. Но есть "сапёр" — статический анализатор. Инструмент нашего "сапёра" — taint-анализ (aka анализ помеченных данных). Он позволяет обнаружить "грязные" данные, дошедшие до опасных мест без проверки. Сегодня мы расскажем о том, как он работает.

https://habr.com/ru/companies/pvs-studio/articles/960448/

#taint_analysis #taint #static_analysis #pvsstudio #pvs #c++ #dataflow #dataflow_analysis #security #software_security

Taint-анализ в C и C++ анализаторе PVS-Studio

Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти невозможно. Но есть "сапёр" — статический анализатор. Инструмент нашего "сапёра" — taint-анализ (aka анализ помеченных данных). Он позволяет обнаружить "грязные" данные, дошедшие до опасных мест без проверки. Сегодня мы расскажем о том, как он работает.

https://habr.com/ru/companies/pvs-studio/articles/960448/

#taint_analysis #taint #static_analysis #pvsstudio #pvs #c++ #dataflow #dataflow_analysis #security #software_security

Taint-анализ в C и C++ анализаторе PVS-Studio

Ваш код принимает данные извне? Поздравляем, вы вступили на минное поле! Любой непроверенный ввод от пользователя может привести к уязвимости, и найти все "растяжки" вручную в большом проекте почти невозможно. Но есть "сапёр" — статический анализатор. Инструмент нашего "сапёра" — taint-анализ (aka анализ помеченных данных). Он позволяет обнаружить "грязные" данные, дошедшие до опасных мест без проверки. Сегодня мы расскажем о том, как он работает.

https://habr.com/ru/companies/pvs-studio/articles/960448/

#taint_analysis #taint #static_analysis #pvsstudio #pvs #c++ #dataflow #dataflow_analysis #security #software_security

With Kpop, I quite often post performance videos and stages rather than MVs proper. Most of the time, this choice reflects nothing but my personal preferences and preoccupations, so rarely does the question of whether an MV, a PV, or a stage is "better" arise.

When it comes to Le Sserafim -- Come Over, however, the question does arise, and an answer can be given that is not merely an expression of purely personal preference : the music show stages really are better than the MV.

Judging by the gushing comments on r/kpop, I think many will disagree with my judgement, so I ought to offer some justification. "Come Over" is a fun but repetitive bagatelle considered just as a piece of music. What makes it more than a forgettable trifle is the unusual and distinctive choreography, as I pointed out when I selected a Music Bank stage for #KpopOfTheWeek a fortnight ago: https://c.im/@jemmesedi/114170071321400525

One would have hoped that a good performance video focusing on the choreography and the retro fashions that complement the choreography so well would have been released. Alas, no. What we get instead is a hybrid MV and CF for Android that actually omits some of the most striking dance moves, such as the opening sequence of high kicks. The synchronized swimmers are poor compensation . To make things worse, AI has been employed to incorporate a sequence of two group members' enlarged heads emerging from interior walls in a sequence more appropriate for a horror film.

What a missed opportunity this video was!

https://youtu.be/z_uqieM8VGM?si=O68Pk89J3c9H-WL8

#Kpop #LeSserafim #ComeOver #MVs #PVs #Choreography

Readings shared March 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/12-readings_shared_03-12-25 #AI #ATP #Constraints #Haskell #ITP #IsabelleHOL #Jape #LeanProver #Logic #LogicProgramming #Mace #MachineLearning #Math #NLP #Otter #PVS #Prolog

Curso "Razonamiento automático (2004-05)". https://jaalonso.github.io/cursos/d-ra-04 #ATP #Otter #Mace #Jape #Logic #ITP #PVS

Readings shared March 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/11-readings_shared_03-11-25 #AI #ATP #Emacs #FormalVerification #Haskell #ITP #IsabelleHOL #Jape #LLMs #LeanProver #Logic #LogicProgramming #MAS #Mace #Math #Otter #PVS #Prolog #SMLs #SMT #Scala #Z3

Curso "Razonamiento automático (2003-04)". https://jaalonso.github.io/cursos/d-ra-03/index.html #ATP #Otter #Mace #ITP #Jape #PVS

[Перевод] Порталы: как устроен расчёт видимости в Quake, часть 2

Часть 1 Итак, теперь у нас есть первая приблизительная оценка видимости листьев из порталов, хранящаяся в массиве mightsee каждого портала. Вычислять, что именно видно через последовательность порталов, сложно, поэтому мы вместо этих вычислений используем «консервативную» оценку. Она ни за что не скроет лист, который должен оставаться видимым. «Это просто задача отсечения» Свет внезапно выключается. Вы сидите в огромном конференц-зале. Кто-то включает проектор. На экране сам Майкл Абраш! Похоже, это знаменитый доклад Quake Postmortem с GDC 1997. Он говорит о порталах. Мы берём плоскости отсечения, ограничивающие максимальный объём видимого, и отсекаем их по всё более дальним порталам, пока они не пропадут.

https://habr.com/ru/articles/876558/

#quake #pvs #bsp #майкл_абраш #id_software #оптимизация_графики

Die Redaktion der Politischen Vierteljahresschrift/German Political Science Quarterly sucht zum 1.6.25 Verstärkung für die Bereiche

Policy-Analyse
👉 https://www.dvpw.de/informationen/infos/details/news/ausschreibung-pvs-redaktionsmitglied-fuer-den-bereich-policy-analyse

Analyse und Vergleich politischer Systeme, Politische Soziologie und/oder Empirische Sozialforschung und Methodenlehre
👉https://www.dvpw.de/informationen/infos/details/news/ausschreibung-pvs-redaktionsmitglied-fuer-die-bereiche-vergleich-politische-soziologie-und-oder-methoden

Bewerbungen bis 1.4.25 an [email protected]

#PVS #Politikwissenschaft #PoWi #Journal @[email protected]

Как мы добавляли поддержку Apple Silicon в анализатор (arm64)

С выходом PVS-Studio 7.34 стали доступны нативные сборки анализатора для macOS на архитектуре Apple Silicon (ARM). В этой заметке мы хотели бы подробнее рассказать о проделанной работе, а также предложить советы по портированию кроссплатформенных инструментов на новую перспективную архитектуру.

https://habr.com/ru/companies/pvs-studio/articles/869378/

#apple_silicon #arm #cmake #pvsstudio #pvs #macos

Lecturas compartidas el 7 de junio de 2024. https://jaalonso.github.io/vestigium/posts/2024/06/08-lecturas_compartidas_el_07-jun-24 #ITP #Lean4 #IsabelleHOL #PVS #Math #ATP #Prover9 #SMT #Z3 #FunctionalProgramming #Haskell #LLMs

PVS-Studio в 2023

За окном январь 2024 года, а это значит, пора подвести итоги за 2023 год! В этой статье мы не только рассмотрим всё новое, что появилось за 2023 год, но и освежим память по основным функциональным возможностям статического анализатора PVS-Studio.

https://habr.com/ru/companies/pvs-studio/articles/786046/

#pvs #c# #c++ #java #static_analysis #unreal_engine #unity #vs_code #qt_creator #rider

See What’s Inside Night Vision, And How To Build Your Own - [Nick Chen] shared some fascinating and useful details about building a AN/PVS-14 monocular night vi... more: https://hackaday.com/2019/04/10/see-whats-inside-night-vision-and-how-to-build-your-own/ #imageintensifier #nightvision #partskit #how-to #pvs-14 #parts #nvg