Codex Security ni onyesho la awali la utafiti linalopatikana kwa watumiaji wa ChatGPT Enterprise, Edu, Business na Pro. Husaidia timu kutambua, kuthibitisha na kurekebisha udhaifu katika msimbo. Imeundwa kufanya kazi zaidi kama mtafiti wa usalama kuliko kichanganuzi cha kawaida: husoma msimbo, huendesha majaribio, huchunguza njia halisi za mashambulizi, na hupendekeza viraka ambavyo timu zinaweza kukagua katika mtiririko wao wa kawaida wa kazi.
Muhtasari
Leo, Codex Security huunganishwa moja kwa moja na hifadhi za GitHub. Baada ya kuwezesha uhifadhi, huunda muundo wa vitisho mahususi kwa codebase, huchanganua historia ya uhifadhi, huthibitisha udhaifu unaowezekana katika mazingira yaliyotengwa, na huonyesha marekebisho yaliyopendekezwa kwa ukaguzi wa binadamu.
Codex Security imejengwa kuzunguka hatua tatu: utambuzi, uthibitishaji na urekebishaji. Wakati wa utambuzi, huchanganua uhifadhi na kuchunguza njia halisi za mashambulizi. Wakati wa uthibitishaji, hujaribu kurudia kila tatizo ili kuthibitisha kuwa ni halisi. Wakati wa urekebishaji, huzalisha kiraka thabiti ambacho timu zinaweza kukagua na kukiinua kuwa ombi la mabadiliko ya kanuni.
Jinsi Codex Security inavyofanya kazi
Codex Security inapounganishwa na uhifadhi, huchanganua commits kwa mpangilio wa kurudi nyuma wa muda na huunda muundo wa vitisho mahususi kwa codebase. Muundo huo hunasa sehemu za kuingia za mshambuliaji, mipaka ya uaminifu, data nyeti na njia za msimbo zenye athari kubwa, ambazo Codex hutumia kuelekeza uchanganuzi kwenye hali halisi za mashambulizi. Timu zinaweza kukagua na kuhariri muundo wa vitisho ili uakisi makisio yao halisi ya uwekaji kwenye uzalishaji.
Codex Security hufuata mtiririko wa kazi wa urekebishaji wa mzunguko-funge:
Changanua uhifadhi: Codex huunganishwa na uhifadhi wako wa GitHub, huchanganua codebase, na huunda muundo wa vitisho kutoka kwa uhifadhi na historia ya commits.
Gundua udhaifu: Kwa kutumia muundo huo wa vitisho, Codex huchunguza njia halisi za msimbo na kutambua udhaifu unaowezekana.
Thibitisha katika sandbox: Codex huendesha kithibitishaji otomatiki katika mazingira yaliyotengwa ili kurudia tatizo, kunasa maelezo ya utekelezaji, na kuthibitisha uwezekano wa kutumiwa vibaya kabla ya kuonyesha jambo lililogunduliwa.
Zalisha kiraka: Kwa udhaifu uliothibitishwa, Codex hutoa pendekezo dogo la kiraka kinachoshughulikia chanzo kikuu.
Ukaguzi wa binadamu na ombi la mabadiliko ya kanuni: Kiraka hakibadilishi msimbo wako kiotomatiki. Huonyeshwa kwa ukaguzi wa binadamu na kinaweza kubadilishwa kuwa ombi la mabadiliko ya kanuni kwa mtiririko wako wa kawaida wa kazi.
Thibitisha upya baada ya urekebishaji: Baada ya tatizo lililothibitishwa kuwekwa kiraka na kuunganishwa, Codex inaweza kuthibitisha upya marekebisho, ikifunga mzunguko kutoka ugunduzi hadi urekebishaji.
Kwa kila jambo lililogunduliwa, Codex Security inaweza kutoa uchanganuzi wa njia ya shambulizi unaoonyesha jinsi ingizo linalodhibitiwa na mshambuliaji linavyoweza kusonga kutoka sehemu ya kuingia hadi matokeo nyeti. Huweka alama kwa njia hiyo kulingana na uwezekano na athari, na hufanya makisio ya msingi yaonekane, jambo linalosaidia timu kuzipa kipaumbele hatari halisi kuliko tahadhari zilizotengwa.
Kabla ya kuonyesha jambo lililogunduliwa, Codex Security hujaribu kulirudia katika mazingira yaliyotengwa. Kithibitishaji hurekodi matokeo ya kurudia, maelezo ya utekelezaji na vielelezo vya uthibitisho wa dhana ili timu ziweze kuzingatia mambo yaliyogunduliwa ambayo yameonyeshwa kweli kufanya kazi.
Kwa mambo yaliyothibitishwa, Codex Security hupendekeza kiraka kidogo kinachoshughulikia chanzo kikuu. Haibadilishi msimbo wako kiotomatiki. Badala yake, kiraka huonyeshwa kwa ukaguzi wa binadamu na kinaweza kubadilishwa kuwa ombi la mabadiliko ya kanuni katika mtiririko wako uliopo wa kazi.
Anza
Nenda kwenye Codex Security.
Unganisha na uwashe hifadhi za GitHub unazotaka Codex Security ichanganue.
Subiri uchanganuzi wa awali ukamilike. Kwanza Codex Security huunda muundo wa vitisho kwa mradi na kuchanganua historia ya uhifadhi ili kupata udhaifu uliopo. Hii inaweza kuchukua muda mrefu zaidi kwa miradi mikubwa. Uchanganuzi wa msimbo mpya huwa wa haraka zaidi.
Kagua mambo yaliyogunduliwa, maelezo ya uthibitishaji na viraka vilivyopendekezwa.
Vidhibiti vya ufikiaji vinavyotegemea majukumu (RBAC)
Kwa maeneokazi ya Enterprise na Edu, wasimamizi wanaweza kudhibiti ufikiaji wa Codex Security katika ruhusa za eneokazi. Codex Security inahitaji ufikiaji wa Codex Cloud na Codex Security uwe umewezeshwa kwa eneokazi. Ufikiaji pia unaweza kuwekewa mipaka kwa majukumu au vikundi maalum kupitia RBAC, ikiwa ni pamoja na vikundi vilivyosawazishwa na SCIM. Ili kuruhusu wanachama kudhibiti usanidi wa uchanganuzi wa Codex Security, pia wezesha ruhusa ya usimamizi wa Codex Security kwa jukumu au kikundi kinachofaa.
Ili kusasisha ruhusa za eneokazi lako:
Katika ChatGPT, chagua ikoni ya wasifu wako, kisha uchague Mipangilio ya Eneokazi > Ruhusa ili kufungua ruhusa za eneokazi.
Sogeza chini hadi Codex Cloud.
Hakikisha ufikiaji wa Codex Cloud umewezeshwa.
Wezesha au zima ufikiaji kwa kugeuza Ruhusu wanachama kutumia Codex Security.
Ikiwa jukumu au kikundi kinapaswa kudhibiti usanidi wa uchanganuzi, pia wezesha Ruhusu wanachama kusimamia Codex Security.
Pata maelezo zaidi kuhusu vidhibiti vya ufikiaji vinavyotegemea majukumu katika eneokazi lako la ChatGPT.
Mbinu bora
Anza na seti ndogo ya hifadhi na kikundi maalum cha wakaguzi. Tunapendekeza uzinduzi ulioelekezwa mwanzoni, hasa wakati uanzishaji na kushiriki udhaifu bado ni kwa kiasi kikubwa kwa njia ya mikono.
Boresha muundo wa vitisho kadri unavyojifunza. Masasisho madogo kwa muundo yanaweza kuboresha muktadha na kufanya mambo yaliyogunduliwa yawe sahihi zaidi kadri muda unavyopita.
Ikiwa hutumii GitHub Cloud leo, zingatia kuanza na hifadhi zenye hatari ndogo au zisizo za uzalishaji kwa ajili ya tathmini. Hilo linaweza kusaidia timu kujenga imani katika mtiririko wa kazi kabla ya kupitisha kwa upana zaidi.
Kagua PR za viraka vilivyotolewa kwa kutumia mchakato wako wa kawaida wa ukaguzi. Pia tunapendekeza kutumia Codex Code Review kwenye PR za Codex Security ili urekebishaji usilete hitilafu za kurudi nyuma.
Maswali yanayoulizwa mara kwa mara
Je, Codex Security hubadilisha msimbo wangu kiotomatiki?
La. Codex Security hupendekeza kiraka kwa ukaguzi wa binadamu. Pendekezo hilo linaweza kubadilishwa kuwa ombi la mabadiliko ya kanuni, lakini halirekebishi msimbo wako kiotomatiki.
Je, Codex Security hutegemea fuzzing au uchanganuzi unaotegemea saini?
La. Codex Security hutumia uwazaji wa muundo wa lugha, ukokotoaji wakati wa majaribio, matumizi ya zana na muktadha mkubwa, badala ya fuzzing au uchanganuzi unaotegemea saini.
Je, ninaweza kukagua au kuhariri muundo wa vitisho?
Ndiyo. Muundo wa vitisho unaonekana na unaweza kuhaririwa, hivyo timu zinaweza kukagua jinsi Codex Security inavyoelewa programu na kusasisha makisio yaendane na mazingira yao.
Uthibitishaji unamaanisha nini?
Uthibitishaji ni hatua ambapo Codex Security hujaribu kurudia udhaifu unaowezekana katika mazingira yaliyotengwa kabla ya kuuonyesha. Hii inalenga kupunguza matokeo chanya yasiyo sahihi na kuweka mambo yaliyogunduliwa yakiwa na ishara thabiti.
Nini hufanyika baada ya jambo lililogunduliwa kuthibitishwa?
Baada ya uthibitishaji, Codex Security hupendekeza kiraka kinachoshughulikia chanzo kikuu na kinaweza kubadilishwa kuwa ombi la mabadiliko ya kanuni kwa ajili ya ukaguzi.