तुम्हाला तपासण्याची परवानगी असलेल्या फाइल्सवरून REA स्थानिक JavaScript किंवा Electron अॅपचा नकाशा तयार करू शकते, स्रोत-वृक्ष नसला तरी. एका वर्तनासाठी पुराव्यांची साखळी हा उपयुक्त परिणाम आहे: कोणते मॉड्यूल ते उपलब्ध करते, कॉल प्रक्रिया-सीमा कुठे ओलांडतो आणि कोणते भाग स्वतंत्रपणे तपासायचे आहेत. या मार्गदर्शकात REA प्रकल्पाचे सध्याचे दस्तऐवज वापरले आहे; ते १४ ऑक्टोबर २०२६ रोजी तपासले होते. BIG CHANGE ने कोणत्याही अॅपवर REA चालवले नाही.

मोठा बदल

  • काय बदलले: दिलेल्या अॅप निर्देशिकेतून किंवा ASAR मधून REA कोडिंग एजंटला मॉड्यूल्स, इम्पोर्ट्स, सोर्स मॅप्स, रूट्स आणि Electron IPC यांचा संरचित नकाशा देते. प्रत्येक निष्कर्ष त्यामागील फाइल्सकडे निर्देश करू शकतो.
  • हे महत्त्वाचे का: एका वैशिष्ट्याची तपासणी करणारा विकासक हाताने काय पाहायचे हे ठरवण्यापूर्वी पॅकेज केलेल्या अॅपमध्ये नामांकित API किंवा IPC चॅनेलचा मागोवा घेऊ शकतो. प्रश्न अधिक नेमका होतो आणि पुरावा तपासणे सोपे जाते.
  • कशाकडे लक्ष द्यावे: स्थिर कोड-पथ हे संभाव्य मार्ग आहेत; वापरात अॅप तोच मार्ग घेतो याचा तो पुरावा नाही. विशिष्ट वर्तनाच्या दाव्यासाठी परवानगी असलेल्या लक्ष्यावर स्वतंत्र निरीक्षण किंवा चाचणी आवश्यक आहे.

सुरू करण्यापूर्वी

ही माहिती स्थानिक JavaScript किंवा Electron अॅपचा मालक असलेल्या किंवा तपासण्याची परवानगी असलेल्या विकासकासाठी आहे. काढलेली अॅप निर्देशिका किंवा तिची app.asar फाइल आणि तिचा पूर्ण पथ आवश्यक आहे. REA च्या पॅकेज मॅनिफेस्टमध्ये नमूद करते rea-agents आवृत्ती 6.4.0 आणि Node.js ची अट दिली आहे: 22.x मालिकेत 22.19 किंवा पुढील, 24.x मध्ये 24.11 किंवा पुढील, अथवा 26 आणि त्यापुढील आवृत्ती. npm देखील आवश्यक आहे. Linux वर REA च्या स्थिर JavaScript/Electron विश्लेषणासाठी procps-सुसंगत ps लागते. REA च्या PATH प्रक्रिया-मालकीच्या तपासणीसाठी, जसे की त्याचे इन्स्टॉलेशन मार्गदर्शक स्पष्ट करते. या REA चालवणाऱ्या होस्टच्या अटी आहेत; लक्ष्य अॅप चालवण्याच्या अटी वेगळ्या आहेत.

स्थिर JavaScript कार्यप्रवाहासाठी Hopper, Ghidra, IDA, ब्राउझर किंवा चालू Electron प्रक्रिया लागत नाही. ही साधने REA च्या इतर कार्यप्रवाहांसाठी आहेत. लक्ष्य तपासण्याचा अधिकार आहे का ते पाहा आणि मूळ फाइल्सची प्रत ठेवा, म्हणजे निकाल नेमक्या कोणत्या आर्टिफॅक्टमधून आला हे ओळखता येईल. स्थापनेसाठी अधिकृत morluto/rea रिपॉझिटरी किंवा त्याच्याशी जोडलेले npm पॅकेज वापरा; सारखे नाव असलेली रिपॉझिटरी उगमाचा पुरावा ठरत नाही.

1. REA सेट करा किंवा एकदाच चालणारा CLI वापरा

जोडलेल्या कोडिंग एजंटसाठी दस्तऐवजीकृत सेटअप कमांड अशी आहे:

Terminal
npx rea-agents setup

एजंट कॉन्फिगरेशनमध्ये सुचवलेल्या बदलांचे पुनरावलोकन करा, हवे असलेले बदल मंजूर करा आणि एजंट पुन्हा सुरू करा. फक्त टर्मिनलमधून तपासणी हवी असल्यास, खालील दस्तऐवजीकृत कमांड त्या रनसाठी पॅकेज चालवते. @latest चालवताना उपलब्ध असलेली रिलीज निवडते; आउटपुटचे तपशील बदलू शकतात, म्हणून पुराव्यासोबत निश्चित झालेली आवृत्ती लिहा. वरची 6.4.0 ही या लेखाच्या 14 ऑक्टोबरच्या तपासणीत प्रकल्प मॅनिफेस्टमध्ये दिसलेली आवृत्ती आहे.

2. दिलेल्या फाइल्सचे विश्लेषण करा

उदाहरणातील पथाऐवजी अधिकृत अॅप फोल्डर किंवा ASAR चा पूर्ण पथ द्या:

Terminal
npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json > app-evidence.json

CLI मार्गदर्शक सांगते की पूर्ण Evidence खूप मोठे असू शकते. ते फाइलमध्ये साठवा आणि मग सारांश किंवा निवडलेल्या मॉड्यूलचे दृश्य वाचा. संपूर्ण निकाल प्रॉम्प्टमध्ये चिकटवू नका. कमांड अयशस्वी झाल्यास निदानासाठी त्रुटी आणि लक्ष्य पथ जतन करा; निर्गमन स्थिती शून्य असली तरी कव्हरेज अपूर्ण, सूचना किंवा न सुटलेले निष्कर्ष असू शकतात. Windows साठी README मध्ये असा पथ दिला आहे: "D:/apps/example".

आर्टिफॅक्ट पुनर्रचना संदर्भ सांगतो की ही प्रक्रिया अॅप न चालवता निवडलेल्या फाइल्स डेटा म्हणून वाचते. ती आर्टिफॅक्टचे पथ व डाइजेस्ट नोंदवते, उपलब्ध JavaScript आणि TypeScript तपासते आणि संभाव्य एंट्रीपॉइंट्स, इम्पोर्ट्स, सोर्स मॅप्स, रूट्स, नेटवर्क एंडपॉइंट्स, Electron preload व renderer दुवे, contextBridge API, IPC कॉल व हँडलर्स आणि नेटिव्ह अॅड-ऑन विनंत्या दाखवते. अपेक्षित निकाल म्हणजे ग्राफ, स्थिर Electron सारांश, कव्हरेज आणि मर्यादा असलेली Evidence नोंद. नोंदवलेले .node बाइंडिंग हे तपासण्याजोगे नाते आहे; त्या नेटिव्ह मॉड्यूलचे डिकोडिंग नाही.

3. एका मर्यादित वैशिष्ट्याचा मागोवा घ्या

नावाने शोधता येईल असे वैशिष्ट्य निवडा, उदा. मेनू कृती किंवा उघडी API पद्धत. वापरकर्त्याला दिसणारे नाव लिहा आणि REA निकालात संबंधित मॉड्यूल, अक्षरशः IPC चॅनेल किंवा रूट शोधा. नोंदवलेल्या स्रोत ठिकाणांचा क्रमाने मागोवा घ्या: renderer किंवा पृष्ठ कॉल, preload पूल, IPC संदेश, जुळणारा मुख्य-प्रक्रिया हँडलर आणि मग त्याने चालवलेली फाइल किंवा सेवा कृती. REA चे Electron CSV उदाहरण हा नमुना notes.exportCsv(), notes:export चॅनेल आणि मुख्य-प्रक्रियेतील लेखक. ही नमुना अॅपची नावे आहेत; तुमच्या लक्ष्याची नावे वेगळी असतील.

प्रत्येक दुव्यासाठी आर्टिफॅक्ट डाइजेस्ट, फाइल पथ व स्थान आणि कोड प्रत्यक्षात काय दाखवतो ते नोंदवा. एका हँडलरशी जोडलेला अक्षरशः चॅनेल आणि मोजून ठरवलेला चॅनेल किंवा संदिग्ध जोड वेगळे ओळखा. मॉड्यूल किंवा हँडलर नसल्याचा निष्कर्ष काढण्यापूर्वी कव्हरेज व मर्यादांची क्षेत्रे तपासा. REA नुसार खराब किंवा अनुपलब्ध फाइल्स, ASAR चे पूरक बाइट्स नसणे, न सुटलेली अभिव्यक्ती आणि मर्यादित विश्लेषण यांमुळे संबंध अज्ञात राहू शकतात. सोर्स मॅप मूळ स्रोतांची नावे दाखवू शकतो, पण मूळ सोर्स ट्री देण्याची हमी साधन देत नाही.

4. वर्तन स्वतंत्रपणे तपासा

स्थिर मागोव्यातून खोडून काढता येईल असा एक दावा लिहा, उदा. “ही कृती हा चॅनेल चालवते आणि हँडलर या प्रकारची फाइल लिहितो.” मग मंजूर चाचणी वातावरणात फक्त ती कृती करा आणि निकाल थेट पाहा: तयार झालेली फाइल, बदललेली स्थिती किंवा तुमच्या अधिकारांत गोळा केलेला ट्रेस. अॅपची आवृत्ती, आर्टिफॅक्ट डाइजेस्ट, चाचणीची पावले आणि दिसलेला निकाल नोंदवा. अॅप चालवण्याची परवानगी नसेल तर दावा स्थिर कोड-पथापुरता ठेवा. REA चे उदाहरण स्पष्ट सांगते की अनुमानित मार्ग रनटाइम कॅप्चरने तपासता येतो; स्थिर ग्राफवरून कोणती शाखा चालली हे कळत नाही.

दुसरा विकासक तीच स्रोत-स्थाने शोधू शकतो, स्थिर जोडणीची मर्यादा पाहू शकतो आणि तुमची मर्यादित तपासणी पुन्हा करू शकतो, तेव्हा तुम्ही यशस्वी झाला आहात. विश्लेषण कमांड यशस्वी झाली एवढ्याने रनटाइम वर्तन पडताळले जात नाही किंवा अॅपची अचूक पुनर्रचना सिद्ध होत नाही.

निकाल अपूर्ण असल्यास

प्रथम पथ पूर्णपणे काढलेल्या निर्देशिकेकडे किंवा ASAR कडे जातो आणि आवश्यक .asar.unpacked पूरक फाइल्स आहेत याची खात्री करा. REA चे कव्हरेज आणि निदान पाहा; स्रोत नसणे किंवा अयशस्वी होणे म्हणजे अज्ञात स्थिती, नकारात्मक निष्कर्ष नव्हे. मोठ्या अॅपसाठी संदर्भ मध्ये अचूक --source-path फाइल निवडीचे वर्णन आहे, पण न निवडलेल्या फाइल्स विश्लेषणाच्या व्याप्तीबाहेर राहतात. अक्षरशः IPC जुळणी संदिग्ध असेल किंवा चॅनेल गणिती पद्धतीने तयार होत असेल तर संदर्भित फाइल्स पाहा आणि प्रश्न मर्यादित करा. संदिग्धता उरल्यास अंतिम नोंदीत ठेवा.

REA चा कोड MIT परवान्याखाली आहे; मात्र लक्ष्य सॉफ्टवेअर आणि बाह्य विश्लेषण इंजिनचे परवाने व अटी स्वतंत्र आहेत. स्थिर विश्लेषण लक्ष्य फाइल्स स्थानिकरीत्या हाताळते. REA चे निष्कर्ष कोडिंग एजंटला दिल्यास त्या मॉडेल प्रदात्याचे डेटा धोरण लागू होते; संस्थेची मंजुरी मिळेपर्यंत गुपिते किंवा मालकीचा आउटपुट पाठवू नका. वापरण्यापूर्वी एजंट आणि पर्यायी इंजिनच्या अटी व खर्च तपासा. प्रक्रिया आणि पॅकेज आवृत्ती 14 ऑक्टोबर 2026 रोजी तपासली; ती दस्तऐवजांवर आधारित आहे.