PVS-Studio v7.33.85382.1314
تحلیل و شناسایی خطاهای برنامه‌نویسی
شناسایی یک خطا در برنامه‌نویسی می‌تواند ساعتها زمان ببرد. به خصوص اگر اینکه با یک خطای منطقی روبرو باشید. در این صورت این خطا ممکن است برنامه‌نویس را حسابی کلافه کند. البته خطاهای برنامه‌نویسی می‌توانند پس از انتشار برنامه‌ها نیز ظهور کنند. اما در حالت ایده‌آل بهتر است خطاهای برنامه را حتی قبل از ورود به سیستم کنترل نسخه شناسایی و برطرف کرد. البته انجام این کار بدون استفاده از یک ابزار تجزیه و تحلیل ماشینی کد، به خصوص در برنامه‌های بزرگ کاری بسیار سخت و تقریبا غیر ممکن است.
نرم افزار PVS-Studio
PVS-Studio ابزاری برای شناسایی اشکالات و ضعفهای امنیتی موجود در کدهای منبع برنامه‌های نوشته شده به زبان C, C++, C#, Java است. این برنامه ابزارهای ویژه‌ای برای مدون کردن اطلاعات و بررسی آنها فراهم می‌کند و راهی جامع برای انجام سریع عملیات تحلیل پروژه، بدون در نظر گرفتن سیستم ساخت آن ارائه می‌دهد.
تحلیل بر مبنای مدل معنایی
نرم افزار PVS-Studio با آنالیز کد استاتیک در شرایط واقعی استفاده از برنامه و تولید گزارشهای جامع به برنامه‌نویسان کمک می‌کند تا اشکالات برنامه‌های خود را پیدا و رفع کنند. این نرم افزار با استفاده از روند تحلیلی مدل معنایی به تحلیل‌گر اجازه می‌دهد تا اطلاعات کاملی در مورد کلیه متغیرها و عبارات موجود در کد داشته باشد. به این ترتیب با تجزیه و تحلیل جریان داده، امکان ارزیابی محدودیت‌هایی که هنگام پردازش ساختارهای مختلف زبان به متغیرها تحمیل می‌شوند (به عنوان مثال مقادیری که یک متغیر می‌تواند در صورت قرارگیری در شرط else یا یک حلقه شرطی بگیرد) را به برنامه‌نویس می‌دهد. علاوه بر آن در یافتن اشتباهات چاپی و املایی و خطاهای Copy-Paste نظیر خطاهای V501, V517, V522, V523, V3001 نیز می‌تواند مفید واقع شود.
برخی از ویژگیهای نرم افزار PVS-Studio عبارتند از:
- تحلیل و شناسایی خطاهای برنامه‌نویسی زبانهای C, C++, C#, Java
- تجزیه و تحلیل مبتنی بر الگو بر اساس الگوی درختی سینتکسهای انتزاعی
- دارای ویژگی Compiler Monitoring برای بررسی کدها در محیط‌های توسعه خاص
- پشتیبانی از طیف گسترده‌ای از فرآیندهای بررسی کد با مقیاس‌پذیری کامل
- امکان علامت‌گذاری کدهای صحیح برای جلوگیری از اسکن مجدد آنها
- ایجاد گزارشهای آماری از آنالیزهای انجام شده در قالب فایلهای اکسل
- استفاده از روش SAST برای شناسایی نقصهای امنیتی برنامه
- امکان فیلتر کردن نتایج تجزیه و تحلیل به صورت تعاملی
- ذخیره و بارگیری نتایج تجزیه و تحلیل در پروژه‌های بزرگ
- امکان تجزیه و تحلیل خودکار پرونده‌های اصلاح شده
- قابلیت ذخیره نتایح بررسی در قالب فایلهای HTML
- امکان حاشیه‌نویسی کدها و روشهای تحلیل آنها
- قابلیت ادغام با هر محیط کدنویسی به صورت دستی
- امکان ارسال ایمیل به توسعه‌دهندگان در مورد خطاهای موجود
- قابلیت ذخیره و لود مجدد نتایج آنالیز برای جلوگیری از دوباره کاری
- پشتیبانی کامل از خط فرمان برای انجام آنالیزهای دسته‌ای
- پشتیبانی از سیستم‌های چند هسته‌ای و آنالیز توزیع شده
- ادغام با نرم افزار ویژوال استودیو به صورت کامل (۲۰۱۰-۲۰۱۹)
- دارای راهنمای جامع شامل بیش از ۷۰۰ صفحه مستندات
- تحلیل سورس کدهای پلت‌فرمهای ۳۲ و ۶۴ بیتی
- قابلیت ادغام با پلت‌فرم SonarQube
- و …
زبانها و کامپایلرهای قابل پشتیبانی:
Windows. Visual Studio, C, C++, C++/CLI, C++/CX (WinRT)
Windows. IAR Embedded Workbench, C/C++ Compiler for ARM C, C++
Windows. QNX Momentics, QCC C, C++
Windows/Linux. Keil µVision, DS-MDK, ARM Compiler 5/6 C, C++
Windows/Linux. Texas Instruments Code Composer Studio, ARM Code Generation Tools C, C++
Windows/Linux/macOS. GNU Arm Embedded Toolchain, Arm Embedded GCC compiler, C, C++
Windows/Linux/macOS. Qt Creator, Eclipse, GCC, Clang, C, C++
Windows. MinGW C, C++
Windows/Linux/macOS. IntelliJ IDEA, Android Studio, Java
Windows/Linux/macOS. Visual Studio, JetBrains Rider, C#, .NET Framework, .NET Core
تصویری از محیط نرم افزار
برچسب‌ها
تبلیغات
مراحل دانلود و نصب نرم افزارهای موجود در سافت سرا بسیار ساده
است.
برای دانلود نرم افزار یا ابزار مورد نظر کافیست بر
روی لینک (یا لینکهای) مربوط به آن کلیک کنید تا عملیات دانلود
فایل (ها) انجام شود.
در صورتی که در دانلود فایلها با
مشکلی مواجه شدید، بخش رفع
اشکال/گزارش خرابی لینک را مشاهده کنید.
نرم افزارهای موجود، بسته به حجمشان ممکن است در یک یا چند پارت ارائه شوند. در نرم افزارهایی که دارای چند پارت هستند باید تمام پارتهای موجود را دانلود کنید. البته ممکن است در برخی نرم افزارها احتیاج به دانلود تمام لینکها نباشد. مثلا اگر سیستم شما 64 بیتی است و نرم افزاری دارای دو ویرایش 32 و 64 بیت است، کافیست تنها پارتهای مربوط به ویرایش 64 بیتی را دانلود کنید. همچنین برخی نرم افزارها دارای اضافات و پلاگینهایی هستند که دانلود آنها نیز اختیاری است.
پس از دانلود یک نرم افزار، کافیست محتویات آن را توسط نرم
افزار WinRAR یا یک فشرده سازی دیگر که از فرمت RAR پشتیبانی می
کند، بر روی سیستم خود استخراج کنید. برای این منظور بر روی
اولین پارت کلیک راست و گزینه ی Extract Here را انتخاب کنید، در
این صورت تمام پارتهای موجود به صورت یکپارچه بر روی سیستم شما
استخراج می شوند.
در انتهای نام پارت اول نرم افزارهایی که
در چند پارت فشرده شده اند عبارت part1 یا part01 قرار دارد.
در صورتی که نرم افزاری تنها یک پارت دارد نیز به همین ترتیب بر
روی آن راست کلیک و گزینه ی Extract Here را انتخاب کنید.
فایلهای دانلود شده از سافت سرا دارای هیچ فایل اضافی یا
تبلیغاتی خاصی نیستند، از اینرو برای استخراج فایل دانلود شده،
با خیال آسوده بر روی فایل مورد نظر کلیک راست و گزینه ی Extract
Here را انتخاب کنید.
در این صورت نرم افزار و فایلهای
مربوط به آن (مانند سریال، راهنما و ...) در پوشه ای به صورت
مرتب استخراج خواهند شد.
فایلهای دانلود شده از سافت سرا برای استخراج نیازمند پسوورد می
باشند. پسوورد تمام فایلهای دانلود شده از سافت سرا softsara.ir
است.
بروز پیغام خطا پس از درج پسوورد (یا در طول استخراج
فایلها) دلایل مختلفی می تواند داشته باشد.
اگر پسوورد را
کپی (Copy & Paste) می کنید، به احتمال زیاد این مشکل وجود
خواهد داشت. زیرا معمولا هنگام کپی پسوورد از سایت یک کارکتر
فاصله در ابتدا یا انتهای آن ایجاد می شود. در صورتی که پسوورد
را تایپ می کنید، به کوچک بودن حروف و انگلیسی بودن صفحه کلید
توجه کنید.
برای اطلاعات بیشتر اینجا کلیک کنید.
