GrammaTech
ग्रैमाटेक इथाका, न्यूयॉर्क में स्थित एक साइबर सुरक्षा अनुसंधान सेवा कंपनी है। कंपनी की स्थापना 1988 में कॉर्नेल विश्वविद्यालय के प्रौद्योगिकी स्पिन-ऑफ के रूप में की गई थी। ग्राममटेक सॉफ्टवेयर अनुसंधान सेवाओं में निम्नलिखित शामिल हैं; सॉफ्टवेयर विश्लेषण, भेद्यता का पता लगाना और शमन, द्विआधारी परिवर्तन और कठोरता, और स्वायत्त कंप्यूटिंग। सितंबर 2023 में, बैटरी वेंचर्स ने ग्राममटेक के सॉफ्टवेयर उत्पाद प्रभाग का अधिग्रहण किया, जिसमें कोडसोनार और कोडसेंट्री उत्पाद श्रृंखलाएं शामिल हैं। इस प्रकार एक नई, स्वतंत्र इकाई की स्थापना की जाएगी जो कोडसिक्योर, इंक. नाम के तहत काम करेगी और इसका मुख्यालय बेथेस्डा, मैरीलैंड में होगा। रिसर्च ग्रामटेक का शोध प्रभाग निजी ठेकेदारों के लिए परियोजनाएं शुरू करता है, जिसमें कई अमेरिकी सरकारी एजेंसियां, जैसे कि नासा, एन. एस. एफ. और रक्षा विभाग की कई शाखाएं शामिल हैं। ग्राममटेक का शोध स्रोत कोड और द्विआधारी दोनों पर स्थिर विश्लेषण और गतिशील विश्लेषण दोनों पर केंद्रित है। ग्रैमाटेक ने भाग लिया और डी. ए. आर. पी. ए. के 2016 साइबर ग्रैंड चैलेंज में दूसरे स्थान पर आया, जिसने टीम टी. ई. सी. एच. एक्स. के रूप में 10 लाख डॉलर की कमाई की। ग्रैमाटेक ने वर्जीनिया विश्वविद्यालय के सहयोग से टीम टी. ई. सी. एच. एक्स. का नेतृत्व किया, जिसमें ज़ैंड्रा नामक उनकी सह-विकसित साइबर-तर्क प्रणाली का उपयोग किया गया। इतिहास ग्रैमाटेक कॉर्नेल विश्वविद्यालय से 1988 का एक स्पिन-ऑफ है, जहाँ इसके संस्थापकों ने 1978 में एक प्रारंभिक एकीकृत विकास वातावरण (कॉर्नेल प्रोग्राम सिंथेसाइज़र) और 1982 में विशेषता-व्याकरण विनिर्देशों से भाषा-आधारित वातावरण उत्पन्न करने के लिए एक प्रणाली (सिंथेसाइज़र जनरेटर) विकसित की थी। सिंथेसाइज़र जनरेटर का उपयोग करके लागू की गई वाणिज्यिक प्रणालियों में ओ. आर. ए. की ए. डी. ए. सत्यापन प्रणाली (पेनेलोप), औद्योगिक सॉफ्टवेयर इंजीनियरिंग के लिए टर्मा का कठोर दृष्टिकोण (राइज़) और ए. डी. ए. के लिए एस. पी. सी. गुणवत्ता और शैली दिशानिर्देशों का लोरल का चेकर शामिल हैं। ग्रैमाटेक के सह-संस्थापक टॉम रेप्स और टिम टीटेलबाम को सिंथेसाइज़र जनरेटर पर उनके काम के लिए 2010 का एसीएम सिगसॉफ्ट रेट्रोस्पेक्टिव इम्पैक्ट अवार्ड मिला। ग्रामाटेक ने 1999 में सी और सी + + के लिए कोडसर्फर के रूप में विस्कॉन्सिन प्रोग्राम-स्लाइसिंग टूल का व्यावसायीकरण किया। सी और सी + + के लिए कोडसोनार, एक स्थिर विश्लेषण उपकरण, 2005 से उपलब्ध है। ग्रैमाटेक के सह-संस्थापक प्रतिनिधि और दो अन्य कंपनी सहयोगियों ने विस्कॉन्सिन स्लाइसिंग शोध का वर्णन करने वाले अपने पेपर के लिए 2011 के एसीएम सिगसॉफ्ट रेट्रोस्पेक्टिव इम्पैक्ट अवार्ड में साझा किया। ग्रैमाटेक और विस्कॉन्सिन विश्वविद्यालय 2001 से द्विआधारी निष्पादन के लिए विश्लेषण, रिवर्स-इंजीनियरिंग और एंटी-टैम्पर उपकरण विकसित करने के लिए सहयोग कर रहे हैं। इस शोध के उपोत्पाद कोडसर्फर/x86 (इंटेल x86 निर्देश सेट के लिए कोडसर्फर का एक संस्करण), कोडसोनार/x86 (हटाए गए निष्पादन के लिए एक बग और भेद्यता खोजने का उपकरण), और मनमाने निर्देश सेट आर्किटेक्चर के औपचारिक शब्दार्थ विवरण से स्वचालित रूप से ऐसी प्रणालियों को बनाने का एक दृष्टिकोण हैं। इस शोध को बाद में कोडसोनार फॉर बाइनरीज और कोडसेंट्री, एक सॉफ्टवेयर रचना विश्लेषण उपकरण में व्यावसायीकरण किया गया। 2019 में, ग्राममटेक का अधिग्रहण फाइव पॉइंट्स कैपिटल द्वारा किया गया था। सितंबर 2023 में, ग्राममैटेक ने घोषणा की कि वह उद्यम पूंजी फर्म बैटरी वेंचर्स के लिए कोडसोनार और कोडसेंट्री उत्पाद लाइनों सहित अपने सॉफ्टवेयर उत्पाद प्रभाग को बंद कर रहा है। लेन-देन एक नई, स्वतंत्र इकाई स्थापित करता है जो कोडसिक्योर, इंक. नाम के तहत काम करेगी और इसका मुख्यालय बेथेस्डा, मैरीलैंड में होगा। जीवित इकाई, जिसका नाम ग्राममेटेक है, अमेरिकी रक्षा और खुफिया समुदाय को साइबर सुरक्षा अनुसंधान और विकास सेवाओं और उपकरणों की पेशकश करेगी। स्पिन-ऑफ के हिस्से के रूप में, ग्राममैटेक ने डैनियल गुडविन को सी. ई. ओ. के रूप में निगम का नेतृत्व करने के लिए नामित किया। गुडविन, जो पहले ग्राममेटेक के शोध प्रभाग के महाप्रबंधक थे, के पास सूचना आश्वासन, सिगिंट और प्लेटफॉर्म मिशन जैसे क्षेत्रों में साइबर सुरक्षा, सॉफ्टवेयर, सिस्टम, एफ. पी. जी. ए., माइक्रोइलेक्ट्रॉनिक्स, दूरसंचार, नेटवर्किंग और हार्डवेयर का अनुभव है। संदर्भ बाहरी लिंक स्थैतिक कार्यक्रम विश्लेषण उपकरण संयुक्त राज्य अमेरिका की न्यूयॉर्क (राज्य) सॉफ्टवेयर कंपनियों में स्थित सॉफ्टवेयर कंपनियां