GrammaTech
گرامامٹیک ایک سائبرسیکیوریٹی تحقیقی خدمات کی کمپنی ہے جو اتھاکا، نیویارک میں واقع ہے۔ کمپنی کی بنیاد 1988 میں کارنیل یونیورسٹی کے ٹکنالوجی اسپن آف کے طور پر رکھی گئی تھی۔ گرامما ٹیک سافٹ ویئر ریسرچ سروسز میں درج ذیل شامل ہیں ؛ سافٹ ویئر تجزیہ، کمزوری کا پتہ لگانے اور تخفیف، بائنری تبدیلی اور سختی، اور خود مختار کمپیوٹنگ۔ ستمبر 2023 میں، بیٹری وینچرز نے گرام ٹیک کے سافٹ ویئر پروڈکٹس ڈویژن کو حاصل کیا، جس میں کوڈ سونار اور کوڈ سینٹری پروڈکٹ لائنیں شامل ہیں۔ اس طرح ایک نیا، آزاد ادارہ قائم کیا جائے گا جو کوڈ سیکیور انکارپوریٹڈ کے نام سے کام کرے گا اور اس کا صدر دفتر میری لینڈ کے بیتھیسڈا میں ہوگا۔ ریسرچ گرامٹیک کا تحقیقی ڈویژن نجی ٹھیکیداروں کے لیے منصوبے شروع کرتا ہے، جن میں کئی امریکی سرکاری ایجنسیاں، جیسے ناسا، این ایس ایف، اور محکمہ دفاع کی بہت سی شاخیں شامل ہیں۔ گرامما ٹیک کی تحقیق ماخذ کوڈ اور بائنری دونوں پر جامد تجزیہ اور متحرک تجزیہ دونوں پر مرکوز ہے۔ گرام ٹیک نے حصہ لیا اور ڈی اے آر پی اے کے 2016 سائبر گرینڈ چیلنج میں دوسرے نمبر پر آیا، جس نے ٹیم ٹی ای سی ایچ ایکس کے طور پر 10 لاکھ ڈالر کمائے۔ گرامما ٹیک نے ٹیم ٹی ای سی ایچ ایکس کی قیادت کی، جو ورجینیا یونیورسٹی کے ساتھ تعاون کرتی ہے، جس میں ان کے مشترکہ طور پر تیار کردہ سائبر استدلال کا نظام استعمال کیا گیا ہے جسے زینڈرا کہا جاتا ہے۔ ہسٹری گرام ٹیک کارنیل یونیورسٹی کا 1988 کا اسپن آف ہے، جہاں اس کے بانیوں نے 1978 میں ایک ابتدائی انٹیگریٹڈ ڈویلپمنٹ انوائرمنٹ (کارنیل پروگرام سنتھسائزر) اور 1982 میں ایٹریبیوٹ-گرامر کی خصوصیات سے زبان پر مبنی ماحول پیدا کرنے کا نظام (سنتھسائزر جنریٹر) تیار کیا تھا۔ سنتھسائزر جنریٹر کا استعمال کرتے ہوئے جن تجارتی نظاموں کو نافذ کیا گیا ہے ان میں او آر اے کا اڈا تصدیقی نظام (پینیلوپ)، ٹرما کا صنعتی سافٹ ویئر انجینئرنگ کے لیے سخت نقطہ نظر (رائز)، اور لورال کا ایڈا کے لیے ایس پی سی کوالٹی اینڈ اسٹائل گائیڈ لائنز کا چیکر شامل ہیں۔ گرامما ٹیک کے شریک بانی ٹام ریپس اور ٹم ٹیٹل بوم کو سنتھسائزر جنریٹر پر ان کے کام کے لیے 2010 کا اے سی ایم سگ سافٹ ریٹروسپکٹو امپیکٹ ایوارڈ ملا۔ گراما ٹیک نے 1999 میں وسکونسن پروگرام-سلائسنگ ٹول کو سی اور سی + + کے لیے کوڈ سرف کے طور پر تجارتی بنایا۔ سی اور سی + + کے لیے کوڈ سونار، ایک جامد تجزیہ ٹول، 2005 سے دستیاب ہے۔ گرامما ٹیک کے شریک بانی ریپس اور دو دیگر کمپنی سے وابستہ اداروں نے وسکونسن سلائسنگ ریسرچ کو بیان کرنے والے اپنے مقالے کے لیے 2011 کے اے سی ایم سگسوفٹ ریٹروسپکٹو امپیکٹ ایوارڈ میں حصہ لیا۔ گرامما ٹیک اور وسکونسن یونیورسٹی 2001 سے بائنری ایگزیکٹو ایبلز کے لیے تجزیہ، ریورس انجینئرنگ، اور اینٹی ٹیمپرنگ ٹولز تیار کرنے کے لیے تعاون کر رہے ہیں۔ اس تحقیق کے ضمنی مصنوعات کوڈ سرف/x86 (انٹیل x86 انسٹرکشن سیٹ کے لیے کوڈ سرف کا ایک ورژن)، کوڈ سونار/x86 (اسٹرپڈ ایگزیکٹو ایبلز کے لیے ایک بگ اور کمزوری تلاش کرنے کا ٹول)، اور صوابدیدی انسٹرکشن سیٹ آرکیٹیکچرز کی رسمی سیمنٹک وضاحتوں سے خود بخود اس طرح کے سسٹم بنانے کا ایک نقطہ نظر ہیں۔ اس تحقیق کو بعد میں کوڈ سونار برائے بائنریز اور کوڈ سینٹری میں تجارتی بنایا گیا، جو ایک سافٹ ویئر کمپوزیشن تجزیہ ٹول ہے۔ 2019 میں، گرام ٹیک کو فائیو پوائنٹس کیپیٹل نے حاصل کیا تھا۔ ستمبر 2023 میں، گراممیٹیک نے اعلان کیا کہ وہ اپنے سافٹ ویئر پروڈکٹس ڈویژن، بشمول کوڈ سونار اور کوڈ سینٹری پروڈکٹ لائنوں کو وینچر کیپیٹل فرم بیٹری وینچرز کے لیے بند کر رہا ہے۔ ٹرانزیکشن ایک نیا، آزاد ادارہ قائم کرتا ہے جو کوڈ سیکیور انکارپوریٹڈ کے نام سے کام کرے گا اور اس کا صدر دفتر میری لینڈ کے بیتھیسڈا میں ہوگا۔ زندہ بچ جانے والا ادارہ، جس کا نام گراممیٹچ باقی ہے، امریکی دفاعی اور انٹیلی جنس کمیونٹی کو سائبر سیکیورٹی ریسرچ اور ڈویلپمنٹ سروسز اور ٹولز پیش کرے گا۔ اسپن آف کے ایک حصے کے طور پر، گراممیٹیک نے کارپوریشن کو آگے بڑھانے کے لیے ڈینیل گڈون کو سی ای او نامزد کیا۔ گڈون، جو پہلے گراممیٹیک کے ریسرچ ڈویژن کے جنرل منیجر تھے، کو سائبر سیکیورٹی، سافٹ ویئر، سسٹمز، ایف پی جی اے، مائیکرو الیکٹرانکس، ٹیلی کمیونیکیشنز، نیٹ ورکنگ، اور ہارڈ ویئر جیسے ڈومینز میں انفارمیشن اشورینس، سگنٹ، اور پلیٹ فارم مشنز کا تجربہ ہے۔ حوالہ جات بیرونی روابط جامد پروگرام تجزیہ ٹولز سافٹ ویئر کمپنیاں جو نیویارک (ریاست) میں مقیم ہیں ریاستہائے متحدہ کی سافٹ ویئر کمپنیاں