簡介：電子科技大學碩士學位論文C語言安全編譯器研究姓名高攀申請學位級別碩士專業(yè)計算機軟件與理論指導教師陳景春20050315電子科技大學碩士學位論文C語言安全編譯器研究ABSTRACTASCOMPUTERANDINTERNETHAVEBEENWIDELYUSED，THESYSTEMSECURITYBECOMESMOREANDMOREIMPORTANTONINTERNETMOREANDMORESYSTEMSFACETHEBIGCHALLENGEOFSECURITY，MOSTOFWHICHCOMEFROMTHEATTACKSOFBUFFEROVERFLOWS，ANDTHEMOSTPOPULARWAYSTOATTACKTHESYSTEMARETHROUGHSTACKORHEAPOVERFLOWSTHELACKOFC／CPROGRAMSECURITYORPROGRAMMEZ‘7SCAREISTHEREASONOFBUFFEROVERFLOWATTACKSSINCETHESTACKOVERFLOWSATTACKCANEASILYBEPERFORMEDANDBEVERYPOPULARINBUFFEROVERFLOWATTACK，WESHOULDPAYCLOSEATTENTIONONITTHISKINDOFATTACKSISGENERALLYACHIEVEDBYTHECARELESSNESSOFBORDERCONDITIONCHECKTHROUGHMODIFYINGTHEPROCESSOFLOCALVARIABLESINSTACKTOINJECTATTACKCODESANDTHUSCHANGETHEOPERATIONPROCEDUREOFPROGRAMITISTHEMOSTDANGEROUSATTACKJUSTBECAUSEOFTHEPOSSIBILITYOFOBTAINSTHEAUTHORITYOFREMOTESYSTEMADMINISTRATORSINRECENT，THEREAREMANYMETHODSTOPREVENTSTACKOVERFLOWATTACKSROUGHLYBYPROGRAMCOMPILE，OSCORE，STRUCTUREOFCPUETCAFEWOFTHEMHAVETHEGREATIMPACT，SUCHASSTACKGUARDWHICHPUTCANARYTODETECTTHESTACKOVERFLOWSTACKSHIELDWHICHSAVETHERETURNADDRESSTOGUARANTEETHECORRECTOPERATIONPROCEDURELIBSAFEWHICHREPLACETHEINSECURITYLIBRARYBYTHESECURITYONESOLOARISANDLINUXWHICHPROVIDETHENOTEXECUTABLESTACKANDSOONTHEYOPENUPTHELATERTHINKINGWEWILLTRYTOSOLVETHEPROBLEMTHROUGHCOMPILINGOPENSOFTWAREGCCFIST，WESIMPLYINTRODUCETHEFRONTCONTENTOFGCCTHEASTPARSINGTREEWIHBEBUILTTHROUGHSOURCECODE，ANDTHENTHERTLWILLBEGENERATEDFINALLY，THERTLWILLBEHANDEDTOTHEBACKENDLAST，WEPROVIDETWOKINDSOFSEPARATINGDATAANDCODESTACKPROGRAMRUNTIMEENVIRONMENTSFURTHERMORE，WEWILLANALYZETHESECURITYANDCOMPATIBILITYOFTHISSTRUCTUREANDBRIEFLYINTRODUCEHOWTEALIZETHESEPARATINGSTACKPROGRAMRUNTIMEENVIRONMENTINGCCKEYWORDSCLANGUAGE，BURROVERFLOW，STACKOVERFLOW，GCC，RTLIL

簡介：點擊查看更多基于C＃的變電站仿真培訓支撐系統(tǒng).pdf精彩內(nèi)容。

簡介：逆向工程從可運行的程序系統(tǒng)出發(fā)生成對應源程序的系統(tǒng)結(jié)構(gòu)以及相關的設計邏輯等等它具有重大現(xiàn)實意義和經(jīng)濟價值可以將大量的遺產(chǎn)系統(tǒng)轉(zhuǎn)化為易于演化的系統(tǒng)從而充分有效地利用這些有用資產(chǎn)雖然近年對軟件逆向工程的研究己有不少但是它仍然屬于一個未充分發(fā)展的領域并未形成統(tǒng)一的標準、方法和過程因此很有必要進行深入研究本文以C語言源程序的逆向工程為例對軟件逆向工程的理論和方法進行了較為深入的研究主要內(nèi)容和技術包括1描述了當前軟件逆向工程發(fā)展中的技術現(xiàn)狀提出了逆向工程只是一個分析檢查的過程揭示系統(tǒng)的本質(zhì)關系從而輔助對系統(tǒng)的理解它涉及到三個規(guī)范活動數(shù)據(jù)收集、知識組織和信息瀏覽2提出將同步細化策略作為軟件逆向工程的理解策略同步細化策略基于對設計決策的探測它比自頂向下策略和自底向上策略能夠更好地克服程序理解中的困難同時它所產(chǎn)生的再工程的設計也更能適應軟件逆向工程的需要3分析了本系統(tǒng)中的文檔視圖結(jié)構(gòu)的實現(xiàn)技術及對逆向工程的第一步驟實現(xiàn)的支持EUCP系統(tǒng)的反編譯技術過程

簡介：近年來在集成電路工業(yè)，自動測試設備（ATE，AUTOMATICTESTINGEQUIPMENT）的不斷更新?lián)Q代對ATE應用程序的轉(zhuǎn)換平臺的工作提出了挑戰(zhàn)。在不少傳統(tǒng)的過程化的ATE測試應用程序中，測試數(shù)據(jù)條件往往與測試算法緊密耦合，使得程序平臺轉(zhuǎn)換的工作嚴重依賴人工的閱讀理解。本文提出了一種全新途徑，將軟件反向工程領域中基于概念的源代碼分析技術引入到測試程序的轉(zhuǎn)換工作中。對于某種過程化的C語言測試應用程序，首先通過編譯處理得到ATE程序的AST等抽象數(shù)據(jù)結(jié)構(gòu)表示。在此基礎上設計并應用某種微型的查詢描述，構(gòu)建出該種ATE應用程序在工程應用意義上的概念庫，通過對程序表示的查詢，將原本處于軟件范疇的概念聚合抽象為ATE測試應用領域的概念，由此在很大程度上實現(xiàn)基本測試算法及測試條件等信息的自動提取。最終自動生成新的ATE軟件平臺的應用程序。相對于傳統(tǒng)的ATE應用程序轉(zhuǎn)換過程，提高工作效率可達40％以上。

簡介：MPEG系列視頻標準已被廣泛的應用于數(shù)字電視、多媒體播放器等數(shù)碼產(chǎn)品中。綜合考慮性價比和功耗，這些產(chǎn)品多采用SOC芯片方案。本文研究的MPEG視頻解碼子系統(tǒng)可同時支持MPEG1、MPEG2、MPEG4標準，是SOC芯片的子系統(tǒng)。MPEG視頻解碼子系統(tǒng)采用軟硬件協(xié)同設計的方法，相比傳統(tǒng)的硬件優(yōu)先的設計方案可以有效的縮短設計周期、提高架構(gòu)的性能。軟硬件協(xié)同設計的核心環(huán)節(jié)是在設計初期對系統(tǒng)建模，在模型基礎上探索和驗證方案的有效性。文本研究的內(nèi)容是探索并實踐用C語言建模MPEG視頻解碼子系統(tǒng)的方法，目的是快速搭建一個系統(tǒng)模型，以便軟硬件并行設計的進一步展開。我們在軟硬件協(xié)同設計的方法學基礎上，通過對MPEG基本算法的特性分析，提出對視頻解碼子系統(tǒng)架構(gòu)的C語言建模方法，它包含應用程序和視頻解碼API的設計、硬件模塊的建模。完成了模型的建立和驗證，證明了用C語言建模MPEG視頻解碼子系統(tǒng)的可行性和有效性，為進一步研制更復雜的視頻SOC方案提供了有力的工具支持。

簡介：該論文主要研究了CC語言程序切片中的指針分析算法在安全性分析工具的設計中我們采用程序切片技術進行安全性分析當進行數(shù)據(jù)流分析時指針的出現(xiàn)會引起到達一定值的不確定影響數(shù)據(jù)流分析的精度指針別名分析確定指針變量可能的指向從而縮小假設的范圍使數(shù)據(jù)流分析更加準確該文實現(xiàn)了一個流敏感的過程內(nèi)指針別名分析算法在實現(xiàn)算法的過程中首先利用GCC編譯系統(tǒng)的前端將源程序轉(zhuǎn)換為抽象語法樹再從中提取出指針賦值語句和函數(shù)調(diào)用語句里的指針信息并保存在控制流圖里最后使用一個迭代的算法來實現(xiàn)別名分析該文還討論了跨過程分析算法的基本框架文中的指針算法可以處理CC語言主要的數(shù)據(jù)類型但在處理數(shù)組時只能把數(shù)組作為一個整體對待而不能區(qū)分其元素

簡介：大連理工大學碩士學位論文基于C甘特圖控件的設計與實現(xiàn)姓名于文武申請學位級別碩士專業(yè)軟件工程指導教師張承偉20090504基于餅甘特圖控件的設計與實現(xiàn)DESIGNANDIMPLEMENTATIONOFGANTTCHARTCONTROLBASEDOILC群ABSTRACTGAUTTCONTROLISAPROJECTTOPROJECTPLANNINGANDCONTROLANEFFECTIVETOOLFORLARGESCALEPROJECTMANAGEMENTISACOMPLEX，ARDUOUSANDSYSTEMATICPROJECTSOTHATTHEWORKOFCOMMUNICATIONANDCOORDINATIONDI伍CULTIESALARGENUMBEROFEFFECTIVEMANAGEMENTINFORMATIONNEEDSTHEUSEOFTECHNOLOGYONTHECCANTTCHARTCANBEINTUITIVE，ACCURATEDISPLAYASUMMARYOFVARIOUSTYPESOFDATAANDBEABLETOGRAPHICALTHERESULTSOFTHESTATISTICALMETHODS，USERFRIENDLYGANTTCONTROLISBASEDONB／SMODEL，THEUSEOFTHEVISUALSTUDI02005PLATFORMSQL2000DATABASEANDAJAXASATECHNOLOGYDEVELOPMENTGANTTMAPPINGMETHODSTHEMETHODUSEDINTHEFIRSTFUNCTIONTOCREATETHETASKVARIABLESANDTHENBASEDON也ESEVARIABLESTOGENERATEDATASTREAMSANDTHENBACKTOFROMTOFORMGANTTCONTR01田BISMETHODCALLBEWIDELYUSEDINWEBPROJECTMANAGEMENTINFORMATIONSYSTEMDEVELOPMENTITSADVANTAGEISTHATITCANDIRECTLYSHOWTHATTHETASKOFPLANNINGWHATTIME，ANDTHEACTUALPROGRESSANDPLANSTEQUIRECONTRASTMANAGERSEASILYUNDERSTANDTHISVERYTASKWHICHISLEFTTOBEDONE，ANDTOASSESSTHEWORKISAHEADOFORBEHINDORNORMALINADDITIONTHEREISASIMPLEGANTTCHARTEYECATCHINGANDUSERFRIENDLYFEATURESSUCHASTHEPREPARATIOMTHEREFORE，GANTTCHARTFORPROJECTMANAGEMENTISANIDEALTOOLFORTHECONTR01CONTROLTHEUSEOFGANTTCHARTSCANBEMARKEDLYIMPROVED也EE伍CIENCYOFBUSINESSOPERATIONS，REDUCEMANAGEMENTCOSTS，THEPROJECTHASASTRONGPROJECTMANAGEMENTANDPROMOTIONOFTHEVALUEOFTHEORETICALVALUEHOWEVERASTECHNOLOGYCONTINUESTOUPDATEANDIMPROVEIBELIEVETHATSUCHCONTROLSWILLBEINTHEFUTUREDEVELOPMENTOFWEBAPPLICATIOILSMOREWIDELYANDACHIEVEDSUCCESSGANTTUSECONTROLS，ALARGENUMBEROFDATAANDCOMPILINGSTATISTICS，EXECUTIVESCANPROVIDETIMELYANDACCURATEBUSINESSDATAANDIMPROVETHESCIENTIFICNATULEOFDECISIONMAKINGBETTERPROJECTMANAGEMENTSERVICESKEYWORDSGRAPHICAL；PROJECTMANAGEMENT；GANTTCHARTCONTR01IL

簡介：隨著高校信息化建設的不斷加強和完善基于BS模式開發(fā)的后勤管理系統(tǒng)越發(fā)的得到了業(yè)界的認可。手機因其通訊功能已經(jīng)作為當今社會各界人士不可或缺的生活工具通過手機端軟件的開發(fā)并結(jié)合管理系統(tǒng)平臺的運用可以更好的為學生、教師、管理人員提供便捷、高效的學校后勤管理服務。本文通過基于C＃開發(fā)的手機端程序采用SOCKET協(xié)議的連接方式和XML編程與BS模式開發(fā)的WEB系統(tǒng)進行連接將處理后的XML文件流傳送到手機端接收很好的實現(xiàn)數(shù)據(jù)信息交流完成后勤管理功能。此次系統(tǒng)開發(fā)具體使用微軟提供的開發(fā)工具包括VISUALSTUDIO2008WEB端和VISUALSTUDIO2005手機端通過使用C＃來創(chuàng)建應用程序。設計完成后的手機端程序?qū)崿F(xiàn)了實時數(shù)據(jù)查詢、掛失、數(shù)據(jù)更新、數(shù)據(jù)訪問等功能。這種通過軟件實現(xiàn)管理的系統(tǒng)較目前以硬件實現(xiàn)管理的系統(tǒng)明顯具有投資小、不易損壞、簡單方便、易于維護等優(yōu)點。該系統(tǒng)實現(xiàn)了不受位置和硬件設備地點區(qū)域限制的管理其權(quán)限設置具有針對性可以保障數(shù)據(jù)服務的安全性而且系統(tǒng)可以在硬件設施損壞、手機丟失等情況下也可以對相關數(shù)據(jù)信息進行訪問極大的方便了使用人員和管理人員。同時還可以對程序進行升級支持數(shù)據(jù)通訊同步并能及時修改數(shù)據(jù)庫中內(nèi)容這樣就極大的減少了投資方對設備的投入但又能保證功能性的完善和提高。

簡介：隨著電子計算機技術的發(fā)展，人們開始在各個領域用計算機代替繁瑣的進銷存管理，汽車配件領域也是如此。因此，一個便于操作、符合實際需求的進銷存系統(tǒng)可以大大的提高工作效率，增加競爭優(yōu)勢。本汽車配件進銷存管理系統(tǒng)是以汽車修理流程和倉庫配件管理為基礎，在WINDOWS單機環(huán)境下，使用C＃作為開發(fā)語言開發(fā)的一套管理系統(tǒng)。本系統(tǒng)使用基于汽車配件訂單情況的先進先出算法計算配件價格，避免了平均價算法產(chǎn)生的誤差，提高了庫存的質(zhì)量。本系統(tǒng)主要包含系統(tǒng)提醒、汽修管理、倉庫管理、財務管理和用戶管理等六個模塊。針對汽修店的實際需求，分析了中小型汽車修理廠所需要的進銷存系統(tǒng)的功能，簡化了部分操作流程，可以根據(jù)客戶需要添加功能，解決了開發(fā)周期長、冗余功能多和操作繁瑣的問題。本系統(tǒng)目前已經(jīng)完成平均值銷售配件版本和先進先出銷售配件兩個版本，系統(tǒng)經(jīng)過測試滿足客戶需求，先進先出算法計算價格也準確無誤，達到預定目標，運行穩(wěn)定，提高了汽修店倉庫管理和汽修管理的效率，實現(xiàn)信息化和無紙化辦公，使汽配的經(jīng)營管理體系更加科學化，規(guī)范化。

簡介：在當下主流的編程語言當中，C語言很好的保持了C語言的效率，同時又加入了面向?qū)ο蟮奶匦砸约白陨淼恼Z言特性，例如模板，泛型編程等。然而，C卻不能像其他高級語言，例如JAVA，C＃PYTHON等編程語言一樣有著很好的可移植性，C語言自身靈活的機制也給其跨平臺開發(fā)帶來了一定的復雜性。本文通過總結(jié)實習中的項目，根據(jù)實用的代碼詳細論述C語言在跨平臺開發(fā)相關的技術和管理策略，包括代碼編寫、測試以及部署上的設計和考量。圍繞本文的論題，本文將主要論述基于C語言的多元化軟件開發(fā)的設計與實現(xiàn)，主要涉及到以下幾個方面，C語言自身的特性，不同平臺下C語言開發(fā)的差異性，C語言的可移植性，以及跨平臺開發(fā)的項目環(huán)境部署。不同于其他高級編程語言，雖然幾乎所有的操作平臺都支持CC語言，但在不同的平臺下，它們對C語言內(nèi)部變量的定義以及擴展的功能卻不盡相同。所以C語言的多元化開發(fā)涉及到目前主流平臺之間以及不同編譯器之間的差異。而跨平臺的開發(fā)策略也會根據(jù)最終軟件發(fā)布的平臺而有所差異，策略的不同源于根據(jù)不同平臺，例如LINUXWINDOWS，MAC等主流平臺上C項目的開發(fā)、測試規(guī)則的差異。本文將會主要論述LINUX開源框架下C語言的軟件項目開發(fā)在其他主流平臺上的移植。

簡介：JPEG2000是由ISOITUT制定的新一代的靜止圖像壓縮標準。與JPEG不同JPEG2000基于離散小波變換采用嵌入式編碼技術EBCOT生成的碼流有較強的截斷和優(yōu)化功能壓縮效果優(yōu)于JPEG因而成為當前靜止圖像編碼領域研究的熱點。本文首先介紹了JPEG2000圖像編碼標準闡述了JPEG2000標準的優(yōu)越性對JPEG2000標準中第一部分的核心編碼系統(tǒng)進行了分析并完成了核心編碼系統(tǒng)中小波變換、位平面編碼及算術編碼的C語言程序。為了對JPEG2000的核心編碼進行FPGA驗證本文詳細設計了JPEG2000圖像驗證系統(tǒng)的硬件結(jié)構(gòu)搭建了適用于JPEG2000FPGA實現(xiàn)的硬件驗證平臺繪制了硬件驗證平臺的電路原理圖和PCB并完成了單板的焊接和調(diào)試。最后本文對搭建的JPEG2000FPGA硬件驗證平臺進行了測試。利用FPGA采集并口電腦眼的圖像并存儲到SRAM中然后通過UART接口將圖像傳送到PC機PC機中的串口接收程序把采集的圖像顯示出來。編寫了圖像采集模塊和UART接口模塊的VERILOGHDL代碼通過了仿真和邏輯綜合并下載到FPGA芯片中成功地實現(xiàn)了系統(tǒng)的聯(lián)機調(diào)試。本文完成的JPEG2000核心編碼系統(tǒng)的C語言實現(xiàn)為最終進行軟硬件協(xié)同實現(xiàn)JPEG2000原型驗證提供了前提。本論文搭建的FPGA開發(fā)平臺為JPEG2000核心編碼的FPGA實現(xiàn)提供了硬件環(huán)境該圖像驗證平臺不僅可以用于JPEG2000圖像編碼的FPGA驗證系統(tǒng)中也可作為一個多媒體數(shù)據(jù)處理的FPGA開發(fā)板使用。

簡介：混響室作為電磁兼容的測試場地之一，與其他常用電磁兼容測試場地，如開闊場、半電波暗室等相比有著很多優(yōu)點，如用相對較低的射頻功率就可以在大的體積空間范圍內(nèi)產(chǎn)生較高電平的電磁場不需要被測設備旋轉(zhuǎn)就可產(chǎn)生統(tǒng)計均勻的場強等。因此，近年來受到了越來越多的關注和使用。但在混響室的工作過程中，要對攪拌器的不同采樣狀態(tài)進行相關的測試，這使得混響室校準及測試成為一件非常耗時的工作，因此，有必要開發(fā)出一套自動化校準及測試系統(tǒng)。另一方面，目前輻射抗擾度測試要求的抗擾度電平（即測試等級）越來越高，對于射頻功放的選用顯得尤為重要，如果能定性地確定出混響室內(nèi)場強大小與輸入功率之間的關系，將對功放的選用工作起到重要的指導作用。本文首先根據(jù)標準IEC61000421中對混響室校準及測試方法的要求，使用C＃編程語言，自行開發(fā)出一套混響室自動化校準及測試軟件。該軟件主要用于完成混響室的場均勻性校準、最大加載校準、EUT加載校準以及輻射抗擾度測試。同時，為了使軟件更好的工作，還增加了對測試儀器信息的管理和對測試結(jié)果的處理等功能。在程序中，采用三層循環(huán)的方式來完成對校準和測試中不同空間位置、不同頻點以及不同攪拌器采樣點上相關數(shù)據(jù)的測量對于校準及測試結(jié)果的保存，采用了C＃中的序列化技術將包含結(jié)果數(shù)據(jù)的對象序列化為本地硬盤上的文件，讀取時使用反序列化儀器的驅(qū)動程序通過NIVISA平臺來實現(xiàn)對儀器的控制并利用反射技術來完成主程序?qū)x器驅(qū)動程序的調(diào)用。然后，使用本套軟件對北京交通大學電磁兼容實驗室的混響室分別進行了場均勻性校準和最大加載校準，驗證了該混響室的場均勻性，并確定出它的最大加載因子、接收天線校準因子、插入損耗以及品質(zhì)因數(shù)等一系列參數(shù)。同時，用4塊吸波材料作為模擬EUT，進行了EUT加載校準以及輻射抗擾度測試，驗證了本套軟件的可行性。本軟件的使用，大大提高了混響室的工作效率。最后，分別從Q值的定義以及標準中規(guī)定的計算方法著手，推導出了混響室內(nèi)場強平均值與輸入功率的理論關系式，并通過該混響室的實測數(shù)據(jù)對此式的正確性進行了驗證。接著，又對該關系式的特點進行了分析，介紹了其中的參數(shù)Q值的確定方法。由它的一個應用實例可以證明，該式對射頻功放的選用起到了重要的指導作用。

簡介：COBOL是一種面向商業(yè)的計算機語言在國內(nèi)外軟件行業(yè)中廣泛使用COBOL語言產(chǎn)生于二十世紀六十年代后來又經(jīng)過四次完善與增強在2002年產(chǎn)生了最新的標準COBOL2002由于COBOL語言歷史悠久所以世界各國的企業(yè)、政府、團體使用的用COBOL開發(fā)的軟件非常之多因此為了支持COBOL2002新標準并且提供對COBOL現(xiàn)有資產(chǎn)的繼承該文對COBOL2002集成開發(fā)環(huán)境的實現(xiàn)進行了研究該集成開發(fā)環(huán)境采用的是客戶端、服務器結(jié)構(gòu)客戶端是WINDOWS平臺服務器是HPUNIX平臺該文的重點是論述COBOL2002新開發(fā)環(huán)境服務器端系統(tǒng)的設計和實現(xiàn)技術因此對于客戶端只是進行了簡要地介紹沒有過多地論述對于服務器端系統(tǒng)的設計和實現(xiàn)該文討論的主要內(nèi)容是對整個服務器端的軟件架構(gòu)進行了分析闡述了主框架的設計與實現(xiàn)方法對客戶端與服務器之間在數(shù)據(jù)通訊時使用的電文格式進行了分析研究了CSCLIENTSERVER互通信息的內(nèi)容主要是兩大類命令與命令執(zhí)行的結(jié)果該文將之歸類設計了客戶端與服務器傳輸數(shù)據(jù)包時使用的電文協(xié)議認證功能是COBOL2002新開發(fā)環(huán)境的一個重要功能該文對PAMPLUGGABLEAUTHENTICATIONMODULES認證架構(gòu)進行了深入而透徹地研究并在此基礎上完成了該系統(tǒng)的認證功能調(diào)試器是COBOL2002新開發(fā)環(huán)境的重要組成部分該文對調(diào)試器模塊的功能基本的子功能模塊各子模塊之間的調(diào)用關系等進行了詳細地設計

簡介：本文主要介紹了DSP2400的C語言編譯器的設計、實現(xiàn)的全過程。全文分兩部分分別介紹了編譯器的前端和后端的設計過程及具體實現(xiàn)。編譯器的前端主要是構(gòu)架無關的源程序信息的抽取封裝并生成語法樹的過程。實現(xiàn)編譯器的前端的主要工作包括編譯器與LEX框架的整合、與YACC框架的整合，YACC中信息的抽取，信息的封裝，歸約時語義正確性的檢查，LEX框架與YACC框架的整合，語法樹數(shù)據(jù)結(jié)構(gòu)的設計及實現(xiàn)以及最終語法樹的生成。編譯器后端涉及到的主要工作是構(gòu)架相關的程序的運行時支持的設計，針對代碼優(yōu)化的數(shù)據(jù)流分析和控制流分析，生成目標代碼前進行的簡單的基于中間代碼的優(yōu)化和基于控制流分析和數(shù)據(jù)流分析結(jié)果的代碼優(yōu)化，以及最后的目標代碼的生成。

簡介：點擊查看更多C語言應用程序的靜態(tài)漏洞檢測.pdf精彩內(nèi)容。