GrammaTech
ગ્રેમાટેક ઇથાકા, ન્યૂ યોર્ક સ્થિત સાયબર સુરક્ષા સંશોધન સેવાઓ આપતી કંપની છે. આ કંપનીની સ્થાપના 1988માં કોર્નેલ યુનિવર્સિટીના ટેક્નોલોજી સ્પિન-ઓફ તરીકે કરવામાં આવી હતી. ગ્રામામટેક સોફ્ટવેર સંશોધન સેવાઓમાં નીચેનાનો સમાવેશ થાય છે; સોફ્ટવેર વિશ્લેષણ, નબળાઈ શોધ અને શમન, દ્વિસંગી પરિવર્તન અને સખ્તાઇ, અને સ્વાયત્ત કમ્પ્યુટિંગ. સપ્ટેમ્બર 2023માં, બેટરી વેન્ચર્સે ગ્રામામટેકના સોફ્ટવેર પ્રોડક્ટ્સ ડિવિઝનને હસ્તગત કર્યું હતું, જેમાં કોડસોનાર અને કોડસેન્ટ્રી પ્રોડક્ટ લાઇનનો સમાવેશ થાય છે. આમ એક નવી, સ્વતંત્ર સંસ્થાની સ્થાપના કરવામાં આવશે જે કોડસિક્યોર, ઇન્ક. નામ હેઠળ કામ કરશે અને તેનું મુખ્ય મથક બેથેસ્ડા, મેરીલેન્ડમાં હશે. રિસર્ચ ગ્રેમાટેકનો સંશોધન વિભાગ ખાનગી ઠેકેદારો માટે પ્રોજેક્ટ હાથ ધરે છે, જેમાં કેટલીક યુએસ સરકારી એજન્સીઓ, જેમ કે નાસા, એનએસએફ અને સંરક્ષણ વિભાગની ઘણી શાખાઓનો સમાવેશ થાય છે. ગ્રેમાટેકનું સંશોધન સ્રોત કોડ અને દ્વિસંગી બંને પર સ્થિર વિશ્લેષણ અને ગતિશીલ વિશ્લેષણ બંને પર કેન્દ્રિત છે. ગ્રેમાટેકે ભાગ લીધો અને DARPAની 2016 સાયબર ગ્રાન્ડ ચેલેન્જમાં બીજા સ્થાને આવી, ટીમ TECHx તરીકે $1 મિલિયનની કમાણી કરી. ગ્રેમાટેકે ઝાન્ડ્રા નામની તેમની સહ-વિકસિત સાયબર-રિઝનિંગ સિસ્ટમનો ઉપયોગ કરીને વર્જિનિયા યુનિવર્સિટી સાથેના સહયોગથી ટીમ TECHxનું નેતૃત્વ કર્યું હતું. હિસ્ટ્રી ગ્રેમાટેક એ કોર્નેલ યુનિવર્સિટીની 1988ની સ્પિન-ઓફ છે, જ્યાં તેના સ્થાપકોએ 1978માં પ્રારંભિક સંકલિત વિકાસ વાતાવરણ (કોર્નેલ પ્રોગ્રામ સિન્થેસાઇઝર) વિકસાવ્યું હતું અને 1982માં (સિન્થેસાઇઝર જનરેટર) એટ્રિબ્યુટ-વ્યાકરણ સ્પષ્ટીકરણોમાંથી ભાષા આધારિત વાતાવરણ પેદા કરવા માટેની સિસ્ટમ વિકસાવી હતી. સિન્થેસાઇઝર જનરેટરનો ઉપયોગ કરીને અમલમાં મુકવામાં આવેલી વ્યાવસાયિક પ્રણાલીઓમાં ઓ. આર. એ. ની અદા ચકાસણી પ્રણાલી (પેનેલોપ), ઔદ્યોગિક સોફ્ટવેર ઇજનેરી માટે ટર્માનો સખત અભિગમ (રાઇઝ) અને અદા માટે એસ. પી. સી. ગુણવત્તા અને શૈલી માર્ગદર્શિકાના લોરલના ચેકરનો સમાવેશ થાય છે. ગ્રેમાટેકના સહ-સ્થાપકો ટોમ રેપ્સ અને ટિમ ટીટેલબૌમને સિન્થેસાઇઝર જનરેટર પર તેમના કામ માટે 2010 એસીએમ સિગસોફ્ટ રેટ્રોસ્પેક્ટિવ ઇમ્પેક્ટ એવોર્ડ મળ્યો હતો. ગ્રેમાટેકે 1999માં વિસ્કોન્સિન પ્રોગ્રામ-સ્લાઇસિંગ ટૂલને સી અને સી + + માટે કોડસર્ફર તરીકે વ્યાપારીકરણ કર્યું હતું. સી અને સી + + માટે કોડસોનાર, એક સ્થિર વિશ્લેષણ સાધન, 2005 થી ઉપલબ્ધ છે. ગ્રામામટેકના સહ-સ્થાપક પ્રતિનિધિઓ અને અન્ય બે કંપની આનુષંગિકોએ વિસ્કોન્સિન સ્લાઇસિંગ સંશોધનનું વર્ણન કરતા તેમના પેપર માટે 2011 એસીએમ સિગસોફ્ટ રેટ્રોસ્પેક્ટિવ ઇમ્પેક્ટ એવોર્ડમાં ભાગ લીધો હતો. ગ્રામામટેક અને વિસ્કોન્સિન યુનિવર્સિટી 2001 થી દ્વિસંગી એક્ઝેક્યુટેબલ માટે વિશ્લેષણ, રિવર્સ-એન્જિનિયરિંગ અને એન્ટી-ટેમ્પર ટૂલ્સ વિકસાવવા માટે સહયોગ કરી રહ્યા છે. આ સંશોધનની આડપેદાશોમાં કોડસર્ફર/x86 (ઇન્ટેલ x86 સૂચના સમૂહ માટે કોડસર્ફરનું સંસ્કરણ), કોડસોનર/x86 (તોડેલા એક્ઝેક્યુટેબલ્સ માટે બગ અને નબળાઈ શોધવાનું સાધન), અને મનસ્વી સૂચના સમૂહ આર્કિટેક્ચરના ઔપચારિક સિમેન્ટીક વર્ણનમાંથી આપમેળે આવી સિસ્ટમો બનાવવાનો અભિગમ છે. આ સંશોધનનું પાછળથી કોડસોનાર ફોર બાયનરીઝ અને કોડસેન્ટ્રી, એક સોફ્ટવેર કમ્પોઝિશન એનાલિસિસ ટૂલમાં વ્યાપારીકરણ કરવામાં આવ્યું હતું. 2019માં ગ્રામામટેકને ફાઇવ પોઇંટ્સ કેપિટલ દ્વારા હસ્તગત કરવામાં આવી હતી. સપ્ટેમ્બર 2023માં, ગ્રામમેટેકે જાહેરાત કરી હતી કે તે કોડસોનાર અને કોડસેન્ટ્રી પ્રોડક્ટ લાઇન સહિત તેના સોફ્ટવેર પ્રોડક્ટ્સ ડિવિઝનને વેન્ચર કેપિટલ કંપની બેટરી વેન્ચર્સમાં ફેરવી રહી છે. આ વ્યવહાર એક નવી, સ્વતંત્ર સંસ્થા સ્થાપિત કરે છે જે કોડસિક્યોર, ઇન્ક. નામ હેઠળ કામ કરશે અને તેનું મુખ્ય મથક બેથેસ્ડા, મેરીલેન્ડમાં હશે. બચી ગયેલી સંસ્થા, જેનું નામ ગ્રામમેટેક છે, તે યુએસ સંરક્ષણ અને ગુપ્તચર સમુદાયને સાયબર સુરક્ષા સંશોધન અને વિકાસ સેવાઓ અને સાધનો પ્રદાન કરશે. સ્પિન-ઓફના ભાગરૂપે, ગ્રામમેટેકે કોર્પોરેશનને આગળ વધારવા માટે સી. ઈ. ઓ. તરીકે ડેનિયલ ગુડવિનનું નામ આપ્યું હતું. ગુડવિન, જે અગાઉ ગ્રામમેટેકના સંશોધન વિભાગના જનરલ મેનેજર હતા, તેમને સાયબર સિક્યુરિટી, સોફ્ટવેર, સિસ્ટમ્સ, એફ. પી. જી. એ., માઇક્રોઇલેક્ટ્રોનિક્સ, ટેલિકમ્યુનિકેશન્સ, નેટવર્કિંગ અને ઇન્ફોર્મેશન એસ્યોરન્સ, SIGINT અને પ્લેટફોર્મ મિશન જેવા ક્ષેત્રોમાં હાર્ડવેરનો અનુભવ છે. સંદર્ભો બાહ્ય કડીઓ સ્ટેટિક પ્રોગ્રામ એનાલિસિસ ટૂલ્સ સોફ્ટવેર કંપનીઓ જે યુનાઇટેડ સ્ટેટ્સની ન્યૂયોર્ક (રાજ્ય) સોફ્ટવેર કંપનીઓમાં સ્થિત છે