د 2025 کال کې د Open-Source پروژو کې د 10 مهمو C او C++ بګونه

په ټولو کالونو کې، موږ په پراخه کچه د پرانستور سټیشن کې چټک شوي، د جرمونو څیړنې، د حساسیتونو څخه راټولولو، او ټروپیاونه راټولولو. نن، موږ د ترټولو ډبره سلاون ته راځي: یو تجربه شریفی د بار په مقابل کې چټک کوي او د وحشي غرب کې ترټولو ډبره او خطرناک بګونو په اړه یادونه کوي. ایا تاسو غواړئ یو دلچسپ داستان؟ په بشپړ کال کې، موږ د C او C + + پروژو څخه د مختلفو بګونو سره مبارزه کوو. موږ هر یو راټول کړ، دا پوښتنه کړ، او د هغه غلطو په فایل کې ریکارډ کړ. اوس، دا وخت دی چې تر ټولو ناقانونه کیسونه یاد وکړئ. نن، زه به تاسو ته د 10 تر ټولو دلچسپ بګانې په اړه یو تاریخ ولرئ چې موږ په مختلفو کورونو کې د وحشي ختیځ په لټه کې وو. د دغو برخو لپاره، موږ د انفرادي فایله - د بشپړ مقاله. او د تر ټولو سپارښتنه لپاره، موږ د C او C++ پروژو په اړه د 5 تر ټولو مشهور مقالات په دې کال کې نشر شوي: څنګه د polymorphic allocators لګښت کارول کولی شي ستاسو په ژوند کې اغیزمن شي د C++ پروګرامر لارښود د غیرقانوني رفتار لپاره د C او C++ تاریخ. دوهم برخه: د C او C++، Qt، Clang، او Unreal Engine د معياري std::array په C ++ کې د C په پرتله سرعت لري. ځینې وختونه Safe array handling؟ د دې په اړه هیڅکله نه شنیدلی تاسو کولی شئ زموږ په ویب پاڼه کې زموږ په بلاګ کې د مقالې بشپړ لیست ترلاسه کړئ د لینک له لارې. لنډول ځي، مسافر، د داستان به اوږد وي N10 یو ځل، موږ د یو ناڅاپي په اړه یو واقعیت لري. د سمندر تل په پای کې شتون لري، مګر کله چې موږ غواړم چې په ښار کې سوار شي، دا په ټیټ هوا کې ناڅاپي شتون لري. د PVS-Studio مخابراتو: د 'float' ډول په اصل توګه '0.5f' د 'unsigned char' ډول ته د 'SetRenderColor' دنده ته ويناول کیږي. د دوهم انګرام وګورئ. 168 د 674 د بریښنا په اړه _ Bugbait.cpp typedef unsigned char byte; inline void CBaseEntity::SetRenderColor( byte r, byte g, byte b, byte a ) { m_clrRender.Init( r, g, b, a ); } void CGrenadeBugBait::BugBaitTouch( CBaseEntity *pOther ) { .... if ( pSporeExplosion ) { .... pSporeExplosion->SetRenderColor( 0.0f, 0.5f, 0.25f, 0.15f ); // <= .... } .... } د د فابريکې د color values, where each parameter is of the ډول سره د امکان وړ ارزښت لړ . کله چې هڅه کوي چې د استدلالونو له لارې ډول، د فریکونسي برخې به ترانسپورت شي. له دې امله، د د د دنده پارامترونه به د ارزښتونو برابر وي . SetRenderColor RGBA unsigned char [0 .. 255] float r g b a 0 ناڅاپي، د ذخیره د غلطی معلومات لګښت لري، نو زه د دې غلطی په کوډ کې څرنګه په دوو سکرینګونه لري. دنده په یوه وخت کې د رنګونو په ګرځنده پوښونو کې پروسس کړ. د پروسس وروسته په کلکه کې بدل شو، مګر ټول تماس ځایونه تازه نه شوي. د پراختیا په غلطۍ کې باور وکړه چې SetRenderColor د افقی ټیټ شمیره په کارولو سره او د دوی له مخې تنظیم کړي. دلته د ورته مخابراتو شتون لري: V674 د 'float' ډول د کلمې '0.5f' د 'unsigned char' ډول ته د 'SetRenderColor' دنده ته وکاروي. د دوهم انګرام وګورئ. weapon_bugbait.cpp 171 V674 د 'Double' ډول د کلمې '25.6' د 'SetScrollRate' فورمې د تماس په وخت کې د 'int' فورمې ته مخنیوی شوی. د لومړي فورمې وګورئ. grenade_tripmine.cpp 179 We detected this bug in the Source SDK project. You can find the full article at the . لنډول لنډول N9 موږ یو ځل باید د یوځای پړاو کې د یوځای پړاو کې یوځای شو. دا په دې توګه واقع شو چې موږ د هغه پړاو ته چمتو شو چې موږ په دې وخت کې چمتو شوي دي. یوازې دا ځل، دا یو بل بل ځای ته راځي. د PVS-Studio مخابراتو: د 'اگر (A) {...} نور که (A) {...}' د نمونې کارول. د منطقي غلطي موجودیت احتمال لري. چک کرښه: 2903, 3053. V517 erl_bif_info.c 2903 BIF_RETTYPE system_info_1(BIF_ALIST_1) { .... if (is_tuple(BIF_ARG_1)) { // L2778 .... } else if (BIF_ARG_1 == am_scheduler_id) { // L2782 .... } .... else if (BIF_ARG_1 == am_garbage_collection) { // L2903 .... } else if (BIF_ARG_1 == am_fullsweep_after) { // L2921 .... } else if (BIF_ARG_1 == am_garbage_collection) { // L3053 .... } else if (BIF_ARG_1 == am_instruction_counts) { // L3056 .... } .... else if (ERTS_IS_ATOM_STR("halt_flush_timeout", BIF_ARG_1)) { // L3552 .... } } د تحلیلونکي په یوه دنده کې چې د ډیری شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره شمیره اعلانونه - که څه هم، هر دوی د مختلف منطق لري: او د فریکونسونو شمیره او د دوپلیکیټونو تر منځ د 150 لړۍ رخصتۍ په لټه کې، دا د حیرانتیا نلري چې دا ممکن وي. د سټیک تجزیه د دغو مواردو څخه مخنیوی کې مرسته کوي. if-else if د 800 لړۍ the first check دویم چک موږ په Erlang پروژې کې د دې بیګ کشف کړ؛ تاسو کولی شئ په لینک کې بشپړ مقاله وګورئ. لنډول N8 I knew a sheriff who had only one verdict for all crimes: "Not guilty." He was a strange one. The PVS-Studio warning: د "نه" بیان د لاندې کوډ فریکونسۍ برابر دی. د 523 cmComputeLinkInformation.cxx 1748 bool cmComputeLinkInformation::CheckImplicitDirItem(LinkEntry const& entry) { BT const& item = entry.Item; // We only switch to a pathless item if the link type may be // enforced. Fortunately only platforms that support link types // seem to have magic per-architecture implicit link directories. if (!this->LinkTypeEnabled) { return false; } // Check if this item is in an implicit link directory. std::string dir = cmSystemTools::GetFilenamePath(item.Value); if (!cm::contains(this->ImplicitLinkDirs, dir)) { // Only libraries in implicit link directories are converted to // pathless items. return false; } // Only apply the policy below if the library file is one that can // be found by the linker. std::string file = cmSystemTools::GetFilenameName(item.Value); if (!this->ExtractAnyLibraryName.find(file)) { return false; } return false; } تجزیه کوي چې په ډاټا کې څه غلط دی د کارولو: CheckImplicitDirItem په دې صورت کې، د مخکښ ډول د مخکښ ډول د مخکښ ډول د مخکښ ډول د مخکښ ډول د مخکښ ډول د مخکښ ډول د مخکښ ډول د فورمې کارولو هر فریکونۍ سره د غلط موخې سره ختم کیږي؛ کله چې د AddFullItem څخه تماس واخلئ، دا به هیڅکله د مخکښ رجوع کولو سبب نه وي. د بشپړ دنده بدن کولی شي د پلټنې غلط بدل شي؛ لکه څنګه چې دا به د پروګرام چلند بدل نه کړي. په یاد ولرئ چې دنده په کارولو سره لیکل کیږي " د نمونوي چې د کوډ نښی په کمولو کې مرسته کوي: تر ټولو مثبت پايلې دنده په پایله کې موقعیت لري، او د کوډ په بډایه کې - په صورت کې چې دنده هدف څخه مخنیوي - باید دنده په چټکۍ سره ختم شي. مخکښ رجوع In our example, we can assume that the most "positive" result of the function is that an object of the ډول د ټولو اړین چیکونو سره د د ارزښت د واپسی. LinkEntry true Here's an option how to fix the code: .... std::string file = cmSystemTools::GetFilenameName(item.Value); if (!this->ExtractAnyLibraryName.find(file)) { return false; } return true; We detected this bug in the CMake project; you can find the full article at the . link link N7 Once in a village, I saw a desperate player who bet all his gold on the card that wasn't even in the deck. The judge just threw up his hands, and the gold remained lying on the table. د PVS-Studio مخابراتو: د غلط iterator 'shades.end()' د Dereferencing ممکن ترسره شي. د 783 ColorHelper.cpp 194 winrt::Windows::UI::Color ColorHelper::GetAccentColor( const winrt::Windows::UI::Color& color ) { .... auto shades = std::map (); .... // 3f is quite nice if the whole non-client area is painted constexpr auto readability = 1.75f; for (auto shade : shades) { if (shade.first >= readability) { return HslToRgb(shade.second); } } return HslToRgb(shades.end()->second); // <= } Is it possible that none of the shades will meet the readability criteria? We can't say for sure, but it's quite likely. This is a د - د دې ثابتولو لپاره کوم رواني کاغذ ته اړتیا نلري، ځکه چې deferencing لکه څنګه چې دا iterator یوازې په یوه برخه کې د وروستیو عنصر څخه راځي. . textbook case غیرقانوني رفتار std::map::end() std::map موږ په Windows Terminal پروژې کې د دې بریښنا کشف کړ؛ تاسو کولی شئ په لینک کې بشپړ مقاله ونیسئ. link N6 ما یو ځل د یو مسافر شریک سره معامله کړ چې موږ یې لرو چې موږ یې لرو. هغه په چټک کې ونیسئ، په چټک کې ونیسئ، او په څیر د mirage په څیر ناڅاپي. هغه وروسته هیڅکله نه وګورئ. د PVS-Studio مخابراتو: The 'graph' reference becomes invalid when smart pointer returned by a function is destroyed. V758 utils.cpp 391 template struct Ptr : public std::shared_ptr ; // .... Ptr FlannNeighborhoodGraph::create( const Mat &points, int points_size, int k_nearest_neighbors_, bool get_distances, int flann_search_params_, int num_kd_trees) { return makePtr (points, points_size, k_nearest_neighbors_, get_distances, flann_search_params_, num_kd_trees); } void Utils::densitySort (const Mat &points, int knn, Mat &sorted_points, std::vector &sorted_mask) { // .... // get neighbors FlannNeighborhoodGraph &graph = // sum_knn_distances (points_size, 0); for (int p = 0; p &dists = graph.getNeighborsDistances(p); for (int k = 0; k struct Ptr : public std::shared_ptr { inline Ptr(const std::shared_ptr & o) CV_NOEXCEPT : std::shared_ptr (o) {} inline Ptr(std::shared_ptr && o) CV_NOEXCEPT : std::shared_ptr (std::move(o)) {} typename std::add_lvalue_reference ::type operator*() const CV_NOEXCEPT { return *std::shared_ptr ::get(); } // .... } template static inline Ptr makePtr(const A1&... a1) { static_assert( !has_custom_delete ::value, "Can't use this makePtr with custom DefaultDeleter"); return (Ptr )std::make_shared (a1...); } د سمارټ پوینټرونو کارولو په دې کې د پیژندنې او د حافظه لاس رسی ستونزه حل نه کوي. بیا په دې کې ځي. دا دا ده چې د کوډ کار کوي. د Create فابريکه د FlannNeighborhoodGraphImpl ډول لپاره د سمارټ پوډر جوړوي او بیا رسیږي، او د اسناد د رسی شمیره یو دی. The reference is created for the value of this smart pointer while the object reference count remains unchanged. graph لکه څنګه چې د نندارې یو موقتي اجزا دی، د نندارې کڅوړه به د ابتدایی کولو وروسته د null ته ورسیږي، د مدیریت شوي اجزا ته آزادوي. اوس، د نندارې به د نابود شوي اجزا ته ورسیږي. د لنډونو لپاره د لنډونو لپاره د غیر فعال لنډونه.The for loop references an invalid reference. په پایله کې، د کوډ چې درست ښودل کیږي د غیرقانوني چلند رامینځته کوي. برسېره پر دې، PVS-Studio یوازې دا وسیله نه ده چې د دې ستونزو تشخیص کوي؛ د پاکولو لپاره دا هم کار کوي. دلته د . proof د دې د حل لپاره، موږ باید د سمارټ پوینټر ذخیره کړي نو چې د object remains until the end of the block. For example, we can do : FlannNeighborhoodGraph لکه څنګه std::vector sum_knn_distances (points_size, 0); { // get neighbors auto graph = FlannNeighborhoodGraph::create(points, points_size, knn, true /*get distances */, 6, 1); for (int p = 0; p &dists = graph->getNeighborsDistances(p); for (int k = 0; k < knn; k++) sum_knn_distances[p] += dists[k]; } } موږ هم د محدود scope to free the resource after the loop execution. graph موږ په OpenCV پروژې کې د دې بریښنا کشف کړ؛ تاسو کولی شئ په بشپړ مقاله کې وګورئ . لنډول N5 يو ځینې وخت، يو محلي متخصص د لمر د ځمکې د نقشه جوړ کړي، خو هغه د کربن څخه لرې. نو، تر ټولو خطرناک برخه، د پایلې ټوټه د کربن سره ډک شوي، د لومړي بارې سره وښيي. دا دی چې هرڅه د ناڅاپي په پایله کې. د PVS-Studio مخابراتو: د "1 Type + 1)" نندارتون وګورئ. د 32-bit ارزښت بیټونه د 64-bit ډول ته وده ورکړي. V629 د بیلګې په توګه: phpdbg_bp.c 1209 د بټ ماسک اندازه د لومړي operand اندازه څخه کوچنی دی. دا به د لوړ بټونو کڅوړتیا ته وده ورکړي. د 784 د بیلګې په توګه: phpdbg_bp.c 1209 uint64_t flags .... PHPDBG_API void phpdbg_delete_breakpoint(zend_ulong num) { .... if ((brake = phpdbg_find_breakbase_ex(num, &table, &numkey, &strkey))) { int type = brake->type; char *name = NULL; size_t name_len = 0L; switch (type) { .... default: { if (zend_hash_num_elements(table) == 1) { PHPDBG_G(flags) &= ~(1 type+1)); // type int flags The constant of the type is shifted left by a certain number of bits. Most often, the type is of 32 bits. We hope that the shift isn't by 32 or more bits, otherwise we get . 1 int int undefined behavior د بدلون پایلې bitwise بدل دی. د بدلون پایلې هم int ډول لري. د انټرنېټ پایلې د چپ operand له امله د 64 بټ نامتو ډول ته پراختیا کیږي. لکه څنګه چې د اصل ډول امین شوی دی، د نښې پراختیا به ترسره شي. دا معنی لري چې د مثبت شمیره لپاره، د 32 تر ټولو مهم بټونه به د 0 بټونو کې شامل شي، او د منفي شمیره، دوی به د نورو کې شامل شي. The bitwise "AND" applies the conversion result to . The loss of significant bits in will occur when the right operand is positive. It'll only be so when there is a 31-bit shift to the left—when the 31st bit in has to be cleared. Catch a . flags flags flags proof په یاد ولرئ چې څومره موږ ته اړتيا لري چې په ذهن کې د داسې ناقانونه بیان لپاره؟ د ستونزو په مختلفو operand اندازهونو او د ځينې subexpressions نښانونه ده. د دې د حل لپاره، پراختیا باید یوازې د ډول بدلون ته اړتیا لري په پایله کې د , and the code will execute as intended: 1 int unsigned long long PHPDBG_G(flags) &= ~( 1uLL type+1)); We discovered this bug in the PHP project; you can find the full article via the . link N4 زه یو ځل د یو ځوان cowboy وګورئ چې د غیرقانوني په لټه کې دي. هغه هغه په یوه محلي بار کې د مرستې پای ته ورسیږي، مګر هغه د مجرم ته نه کولی، مګر د خپل ځان په پوډر کې د نښلیدو پرته، دا په ټوټهونو کې کولی شي. د PVS-Studio مخابراتو: د تادیاتو کارن باید د "این == & نورو" په صورت کې ساتل شي. V794 fs_path.cpp د 36 په اړه FsPath& FsPath::operator=(FsPath&& other) { m_path = std::move(other.m_path); other.m_path.clear(); return *this; } In this snippet, we have the move assignment operator for the ټولګي، کوم چې د بل اجزا څخه د اوسني انډول ته ډاټا انتقال کوي. په هرصورت، د ځان تادیه کولو چک نه دی , which could lead to unintended consequences. FsPath (this == &other) که هڅه کیدی شي چې د Object په ځان کې راټول شي، د فعالیتونه د موادو څخه حرکت کوي into ، او وروسته د تماس ته د معلوماتو پاکولو. په پایله کې، په غیر متوقع حالت کې پای ته ورسیږي، او یو کولای شي یوازې د پراختیا لپاره خوشحال debugging :) m_path = std::move(other.m_path); other.m_path m_path other.m_path.clear(); m_path To eliminate the risk, we recommend adding the following check at the beginning of the operator: if (this == std::addressof(other)) { return *this; } کارول په ځای کې د operator ensures correct address comparison even when the operator is overloaded in the class. std::addressof & & We detected this bug in the Nau Engine project; you can find the full article at the . لنډول لنډول N3 I once saw a shaman trying to summon a spirit without reaching the sacred grounds. A spirit came, but it was a completely different one—a coyote from the nearest ravine. The PVS-Studio warning: د uninitialized derived class 'window_id' فورمې په داسې حال کې چې د 'modal_dialog' بیس کلاس په انټرنېټ کې پیل کړئ به د غیرقانوني رفتار ته ورسیږي. 29 V1099 install_dependencies.hpp په اړه class install_dependencies : public modal_dialog { public: explicit install_dependencies(const addons_list& addons) : modal_dialog(window_id()), addons_(addons) // <= {} .... private: virtual const std::string& window_id() const override; .... } Thanks to this code snippet, I can tell you more about undefined behavior. لکه څنګه چې موږ په اوسط کې وګورئ، د class is derived from the class. In the Constructor، د بیس ټولګي سره د ارزښت له خوا (د انتظار لپاره) د غیر سټیټیک له خوا پیل کیږي. function. So, this will happen: install_dependencies modal_dialog install_dependencies window_id Execution of the initialization list: a call to the method; install_dependencies::window_id a constructor call to the class; modal_dialog an initialization of the data member; addons_ Execution of the constructor body of the class. install_dependencies This results in a function call of a class object which hasn't been initialized yet! This violates the following : د معياري قانون د عضوي ځانګړتیاوې (د مجازی عضوي ځانګړتیاوې، [class.virtual] شامل دي) کولی شي د جوړ شوي اجزا لپاره ودانیل شي همدارنګه، د جوړولو په پایله کې د object د typid operator ([expr.typeid]) یا د dynamic_cast ([expr.dynamic.cast]) operand وي. However, if these operations are performed in a ctor-initializer (or in a function called directly or indirectly from a ctor-initializer) before all the mem-initializers for base classes have completed, the program has undefined behavior. خو انتظار، نور دي! لکه څنګه چې تاسو کولی شئ پوه شي، د member function is virtual and overridden in the د ستونزو کولی شي په راتلونکي وخت کې وده ورکړي کله چې د پروګرامر د derived class په اړه لیکل کیږي. او په پرتله. window_id install_dependencies window_id کله چې د دې مخکښ ټولګي یو Object جوړ شوی او د کنټرولر ترسره کیږي، د نوي override وجود په اړه هیڅ معلومات نه دی. نو، د function will always be called in the initialization list. This may differ from the developers' original intention. You can read more about it . installed_dependencies installed_dependencies::window_id here موږ په Wesnoth پروژې کې د دې بیګ کشف کړ؛ تاسو کولی شئ په لینک کې بشپړ مقاله ونیسئ. لنډول N2 ما یو کووفیو پوهې چې په دیوال کې د سایې له لاسه ورکړي، دا د مخکښ دشمن په لټه کې وه. د shot boomed، gips crumbled، په دیوال کې یوازې یو غبرګون له لاسه ورکړي. د هدف هیڅکله نه شتون نلري، او د اصلاحاتو ډېر کار واخلئ. The PVS-Studio warning: د null نندارې ته د 'fseek' دنده ته ورسیږي. د لومړي معیار وګورئ. د 575 د بیلګې په توګه. د بیلګې په توګه. void ati_eeprom_load_mach8(ati_eeprom_t *eeprom, char *fn, int mca) { FILE *fp; .... fp = nvr_fopen(eeprom->fn, "rb"); size = 128; if (!fp) { if (mca) { (void) fseek(fp, 2L, SEEK_SET); // data + 2, 0xff, size - 2); fp = nvr_fopen(eeprom->fn, "wb"); fwrite(eeprom->data, 1, size, fp); .... } موږ ته اړتیا لري چې د ویډیو اډاپټر NVRAM کې ذخیره شوي ډاټا لوډ کړئ، کوم چې موږ په باینری فایل کې ذخیره کوو. که فایل نه شتون لري، موږ ته اړتیا لري چې دا د "د معياري" ډاټا سره جوړ کړئ. موږ به په صورت کې وګورئ چې د فایل په کچه شتون لري. موږ د فایل پاؤنټ بدلون کوو، مګر دا نلري. په پایله کې، موږ null pointer dereference. fp ایا موږ به د تر ټولو په اړه وګورئ د standard doesn't define requirements for the function first parameter and doesn't guarantee a check for . دا معنی لري چې دا د معياري کتابتون پراختیا ته اړتيا لري چې دا په مناسب ډول کار وکړي. اوس موږ خوشحال شو: fseek د C11 NULL د GNU glibc BSD libc له FreeBSD 14.3 څخه؛ Microsoft Universal CRT څخه Windows SDK 10.0.26100؛ د V1.2.5 په اړه The last two C standard library implementations are here as guests: 86Box is not designed to work with them, or their compatibility hasn't been checked. The don't mention alternative implementations either. So, let's start with the expected standard libraries and ask them to repeat the same actions with a null file pointer. د جوړولو لارښود Flicking the power switch موږ د IBM PS / 2 موډل 55SX څخه د تخليقي سلاټ څخه واخلئ او د ATI جوړ شوی IBM 8514 / A 2D ګرځنده "پلوګ" کړي. The first test subject is a Windows instance built using MinGW. We ensure the NVRAM file is absent before starting—we check the د لارښوونې لپاره .file. که دا دلته دی، موږ دا د پاکولو. %userprofile%\86Box VMs\ \nvr ati8514_mca.nvr د د بریښنا د رسولو، او ... هیڅکله بریښنا نلري! هرڅه ښه دی: د NVRAM فایل لیکل شوی، کمپیوټر چلول کیږي، او د glibc په اړه د ریمو ټسټ بشپړ شوی. هیڅ غلطی نلري. د FreeBSD ته حرکت کول. د libc کتابتون په دې OS کې د معياري C کتابتون پیژندل کیږي. دا په عمومي توګه د ټولو د BSD لخوا پروسس سیسټمونو لپاره حق دی. We use the same configuration. We check for the absence of the د NVRAM فایل په درې، دوه، یو، د قدرت په ... ati8514_mca.nvr ~/.local/share/86Box/Virtual Machines/ /nvr د یوازې د یو واقعې څخه د وروستیو تاریخ کولای شي د دې حالت په ښه توګه بیان شي :) بیل Grubbs د د انفجار وروسته، موږ د کنسول په څیر چمتو شو: موږ د غیر معمولي خارج کولو تصدیق شوي دي! void VMManagerSystem::launchMainProcess() Full Command: "/root/86Box/build_freebsd/src/86Box" ("--vmpath", "/root/.local/share/86Box/Virtual Machines/somevm", "--vmname", "somevm") Connection received on 86Box.socket.5876c5 Connection disconnected Abnormal program termination while launching main process: exit code 11, exit status QProcess::CrashExit د emulator executable سره یو core dump فایل ښودل. د LLDB ښه راغلاست: root@freebsd:~/86Box/build_freebsd/src # lldb 86Box -c 86Box.core (lldb) target create "86Box" --core "86Box.core" Core file '/root/86Box/build_freebsd/src/86Box.core' (x86_64) was loaded. (lldb) bt * thread #1, name = '86Box', stop reason = signal SIGSEGV * frame #0: 0x0000000832f880bf libc.so.7`_flockfile(fp=0x0000000000000000) at _flock_stub.c:65:20 frame #1: 0x0000000832f8b675 libc.so.7`fseek(fp=0x0000000000000000, offset=2, whence=0) at fseek.c:62:2 frame #2: 0x00000000018cd964 86Box`ati_eeprom_load_mach8(eeprom=...., fn= , mca=1) at vid_ati_eeprom.c:61:20 د null pointer makes a spectacular fire show—there was no way to lock the file as its descriptor is invalid. Unfortunately, LLDB didn't really want to work in real time, crashing either with a quiet or with a loud boom and special effects. Therefore, I can't show you how the code is executed like in Windows. fp lost connection We detected this bug in the 86Box project; you can find the full article at the . link link N1 A sheriff I know from a neighboring town once wrote in an interrogation transcript that a witness had confirmed his own testimony. The court never figured out if it was a mistake or a clever defense tactic. د PVS-Studio مخابراتو: د '==' پروپورټر په چپ کې او چپ کې ورته زیرمهالونه شتون لري: PeekArg.getValNo() == PeekArg.getValNo() V501 PPCISelLowering.cpp 7865 SDValue PPCTargetLowering::LowerCall_AIX(....) const { .... for (unsigned I = 0, E = ArgLocs.size(); I != E;) { .... CCValAssign &GPR1 = VA; .... if (I != E) { // If only 1 GPR was available, there will only be one custom GPR and // the argument will also pass in memory. CCValAssign &PeekArg = ArgLocs[I]; if (PeekArg.isRegLoc() && PeekArg.getValNo() == PeekArg.getValNo()) // <= { assert(PeekArg.needsCustom() && "A second custom GPR is expected."); CCValAssign &GPR2 = ArgLocs[I++]; RegsToPass.push_back(std::make_pair(GPR2.getLocReg(), DAG.getZExtOrTrunc(ArgAsInt, dl, MVT::i32))); } } .... } موږ په دې وخت کې فرض کوو چې دا یو بل د کاپی پټ قربانی دی. چیرې چیرې چیرې د هر اړخیز اغیزې لري: getValNo class CCValAssign{ .... unsigned ValNo; unsigned getValNo() const { return ValNo; } } په دې کې هیڅ څه غریب نه ده. د وروستۍ په اړه وګورئ : commit CCValAssign &GPR1 = VA; .... assert(I != E && "A second custom GPR is expected!"); CCValAssign &GPR2 = ArgLocs[I++]; assert(GPR2.isRegLoc() && GPR2.getValNo() == GPR1.getValNo() && GPR2.needsCustom() && "A second custom GPR is expected!"); RegsToPass.push_back( std::make_pair(GPR2.getLocReg(), DAG.getZExtOrTrunc(ArgAsInt, dl, MVT::i32))); The idea is clear: an exceptional case that was previously guarded by an assert was redesigned into a regular branch. The commit text also points to that. دا پټک د پلوډ کولو دنده د پلوډ کولو د پلوډ کولو لخوا د پلوډ کولو آرګرامونه کاروي په stack مینه کې. دا د اوسني محدودیت له لاسه ورکوي چې په AIX کې LLVM د بریالیتوب غلطۍ راپور ورکوي کله چې د انډولونه په ریکارډونو کې نلري. په یاد ولرئ چې، د بریښنا په پرتله، یو بل غریب تادیه لري: CCValAssign &PeekArg = ArgLocs[I]; .... CCValAssign &GPR2 = ArgLocs[I++]; // here PeekArg == GPR2 The developer may intented to write something like this: if (I != E) { CCValAssign &GPR2 = ArgLocs[I]; if (GPR2.isRegLoc() && PeekArg.getValNo() == GPR1.getValNo()) { assert(PeekArg.needsCustom() && "A second custom GPR is expected."); I++; RegsToPass.push_back(std::make_pair( GPR2.getLocReg(), DAG.getZExtOrTrunc(ArgAsInt, dl, MVT::i32))); } } But for clarity, developers broke out د to show that, unlike the previous unconditional code, the argument now needs to be "peeked" first. And during the copy-paste process, was accidentally dropped from the condition. PeekArg GPR2 GPR1 The corrected likely should be: if if (PeekArg.isRegLoc() && PeekArg.getValNo() == GPR1.getValNo()) دلچسپي لري، د GitHub ته migrating مخکې، LLVM د کوډ بیاکتنې پلیټ فارم لري، او د commit شامل دي. to this website. There, we can see that manual review can't always save the situation: لنډول موږ په LLVM پروژې کې د دې بیګ پایله کوو، بشپړ مقاله په لینک کې شتون لري. لنډول د پایلو د سلاون په اړه د سکوت نیسي، یوازې د دروازې په دروازه کې د کڅوړې او د ګمرک کې د لوګونو د کڅوړې له امله کڅوړه. د 2025 څخه ترټولو ګرځنده بیګونه اوس یوازې د نسل څخه نسل ته انتقال شوي داستانونه دي. په دې وحشي ختیځ کې، تاسو کولی شئ د يو معتبر شریک په لټه کې نه ونیسئ، نو زما د باور وړ مسلکي په هر صورت کې دی Analyzer. دا چمتو دی چې تاسو ته د خطرناک کوډ نښانې ته مرسته وکړي: PVS-Studio د Open Source پروژو لپاره؛ د زده کړې مقاصد؛ using a for a glorious beginning. 30-day trial version او که ستاسو لاره تاسو ته د نورو ټریټونو ته راځي، زه پیشنهاد وکړم چې د جاوا او C# کې لیکل شوي پروژو څخه د بګونو په اړه داستانونه گوشئ. د 2025 کال کې د 10 غوره جاوا خطا د 2025 کال کې د C# پروژو کې ترټولو غوره 10 غلطونه