Littérature scientifique sur le sujet « Static Analysis Tool »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Static Analysis Tool ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Static Analysis Tool"
Thomson, Patrick. « Static Analysis : An Introduction ». Queue 19, no 4 (31 août 2021) : 29–41. http://dx.doi.org/10.1145/3487019.3487021.
Texte intégralTiganov, Daniil, Lisa Nguyen Quang Do et Karim Ali. « Designing UIs for Static Analysis Tools ». Queue 19, no 4 (31 août 2021) : 97–118. http://dx.doi.org/10.1145/3487019.3487026.
Texte intégralDewar, Robert B. K. « The compiler as a static analysis tool ». ACM SIGAda Ada Letters XXVII, no 3 (17 novembre 2007) : 83–88. http://dx.doi.org/10.1145/1315607.1315601.
Texte intégralKoshelev, V. K., V. N. Ignatiev, A. I. Borzilov et A. A. Belevantsev. « SharpChecker : Static analysis tool for C# programs ». Programming and Computer Software 43, no 4 (juillet 2017) : 268–76. http://dx.doi.org/10.1134/s0361768817040041.
Texte intégralGawade, Makarand, K. Ravikanth et Sanjeev Aggarwal. « Constantine : configurable static analysis tool in Eclipse ». Software : Practice and Experience 44, no 5 (7 décembre 2012) : 537–63. http://dx.doi.org/10.1002/spe.2173.
Texte intégralLIANG, Guang-Tai, Na MENG, Jin-Hui LI, Hao ZHONG, Lu ZHANG et Qian-Xiang WANG. « A Semi-Automatic Extensible Static Defect Analysis Tool ». Chinese Journal of Computers 34, no 6 (6 septembre 2011) : 1114–25. http://dx.doi.org/10.3724/sp.j.1016.2011.01114.
Texte intégralAnderson, Paul. « Measuring the Value of Static-Analysis Tool Deployments ». IEEE Security & ; Privacy Magazine 10, no 3 (mai 2012) : 40–47. http://dx.doi.org/10.1109/msp.2012.4.
Texte intégralTiganov, Daniil, Lisa Nguyen Quang Do et Karim Ali. « Designing UIs for static-analysis tools ». Communications of the ACM 65, no 2 (février 2022) : 52–58. http://dx.doi.org/10.1145/3486600.
Texte intégralGuo, Ting Ting, Teng Jiao Sun et Fang Shao. « Finite Element Analysis for Static Stiffness of a Crankshaft Grinding Machine Tool ». Applied Mechanics and Materials 543-547 (mars 2014) : 76–79. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.76.
Texte intégralPeng, Rui Tao, Wang Yan, Xin Zi Tang et Zhuan Zhou. « Dynamic Characteristics Analysis and Structural Topology Optimization of the Plane Grinder ». Key Engineering Materials 693 (mai 2016) : 471–78. http://dx.doi.org/10.4028/www.scientific.net/kem.693.471.
Texte intégralThèses sur le sujet "Static Analysis Tool"
Morgenthaler, John David. « Static analysis for a software transformation tool / ». Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1997. http://wwwlib.umi.com/cr/ucsd/fullcit?p9804509.
Texte intégralDutko, Adam M. « THE RELATIONAL DATABASE : A NEW STATIC ANALYSIS TOOL ? » Cleveland State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=csu1313678735.
Texte intégralBaca, Dejan. « Automated static code analysis : A tool for early vulnerability detection ». Licentiate thesis, Karlskrona : Department of Systems and Software Engineering, School of Engineering, Blekinge Institute of Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00429.
Texte intégralGustafson, Christopher, et Sam Florin. « Qualification of Tool for Static Code Analysis : Processes and Requirements for Approval of Static Code Analysis in the Aviation Industry ». Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-277941.
Texte intégralInom flygindustrin är användandet av olika programmeringsverktyg inte lika självklart som inom andra industrier. På grund av de katastrofala konsekvenser som fel i mjukvaran i ett flygplan kan resultera i finns det rigorösa krav på mjukvaruutvecklingsprocessen. Ett av dessa krav är att en viss kodstandard måste upprätthållas. Kodstandarder används för att exkludera vissa strukturer i kod som kan leda till oönskat beteende. Upprätthållandet av en viss kodstandard är en långdragen process att genomföra manuellt, och kan därför automatiseras med hjälp av ett statiskt kodanalysverktyg. För att kunna använda ett sådant verktyg behövs däremot en formell verktygskvalificering. I denna uppsats kommer kvalificeringsprocessen av ett verktyg för statisk kodanalys att evalueras enligt de krav som de två stora flygmyndigheterna EASA och FAA ställer. För att förklara processen av att kvalificera ett sådant verktyg gjordes en litteraturstudie följt av en fallstudie av det existerande verktyget Parasoft C/C++ test. Resultaten av litteraturstudien beskriver de olika processerna som måste genomföras för att kvalificera ett statiskt kodanalysverktyg. Noterbart är att resultaten visar att inga krav ställs på utvecklingsprocessen av verktyget själv. Detta betyder att ett existerande kommersiellt verktyg kan kvalificeras utan att verktygsutvecklarna själva behöver bidra med extra information. Fallstudien visade hur verktyget Parasoft C/C++ test kan konfigureras och verifieras att följa en viss kodstandard. Vidare resulterade fallstudien i utkast av de nödvändiga dokumenten som behöver produceras för att kommunicera kvalificeringsprocessen till en myndighet. De resultat som presenteras i denna uppsats är i sig inte tillräckliga för beskriva hela kvalificeringsprocessen. Ytterligare överväganden som är specifika till den mjukvaran som verktyget ska användas till att utveckla måste göras för att en komplett kvalificering ska kunna genomföras. Uppsatsen bidrar däremot med riktlinjer och vägledning av majoriteten av de processerna som behöver genomföras. Ytterligare forskning kan göras för att bidra med den kompletta bilden av verktygskvalificering av ett statiskt kodanalysverktyg, samt hur kvalificering kan göras av andra typer av verktyg.
Eads, Joshua Michael. « EtherAnnotate : a transparent malware analysis tool for integrating dynamic and static examination ». Diss., Rolla, Mo. : Missouri University of Science and Technology, 2010. http://scholarsmine.mst.edu/thesis/pdf/Eads_09007dcc807a2d75.pdf.
Texte intégralVita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed May 4, 2010) Includes bibliographical references (p. 65-68).
Al, Awadi Wali. « An Assessment of Static and Dynamic malware analysis techniques for the android platform ». Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2015. https://ro.ecu.edu.au/theses/1635.
Texte intégralHubert, Laurent. « Foundations and implementation of a tool bench for static analysis of Java bytecode programs ». Rennes 1, 2010. http://www.theses.fr/2010REN1S122.
Texte intégralDans cette thèse, nous nous intéressons à l’analyse statique du bytecode Java. L’initialisation d’un système d’information est une phase délicate où des propriétés de sécurité sont vérifiées et des invariants installés. L’initialisation en Java pose des difficultés, que ce soit pour les champs, les objets ou les classes. De ces difficultés peuvent résulter des failles de sécurité, des erreurs d’exécution (bugs), ou une plus grande difficulté à valider statiquement ces logiciels. Cette thèse propose des analyses statiques répondant aux problèmes d’initialisation de champs, d’objets et de classes. Ainsi, nous décrivons une analyse de pointeurs nuls qui suit finement l’initialisation des champs et permet de prouver l’absence d’exception de pointeur nuls (NullPointerException) et de raffiner le graphe de flot de contrôle intra-procédural. Nous proposons aussi une analyse pour raffiner le graphe de flot de contrôle inter-procédural liée à l’initialisation de classe et permettant de modéliser plus finement le contenu des champs statiques. Enfin, nous proposons un système de type permettant de garantir que les objets manipulés sont complètement initialisés, et offrant ainsi une solution formelle et automatique à un problème de sécurité connu. Les fondations sémantiques de ces analyses sont données. Les analyses sont décrites formellement et prouvées correctes. Pour pouvoir adapter ces analyses, formalisées sur de petits langages, au bytecode, nous avons développé une bibliothèque logicielle. Elle nous a permis de produire des prototypes efficaces gérant l’intégralité du bytecode Java
Gebhard, Gernot [Verfasser], et Reinhard [Akademischer Betreuer] Wilhelm. « Static timing analysis tool validation in the presence of timing anomalies / Gernot Gebhard. Betreuer : Reinhard Wilhelm ». Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2013. http://d-nb.info/1053679947/34.
Texte intégralLerner, Harry 1969. « Static types to dynamic variables : re-assessing the methods of prehistoric Huron chipped stone tool documentation and analysis in Ontario ». Thesis, McGill University, 2000. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=33298.
Texte intégralHameed, Muhammad Muzaffar, et Muhammad Zeeshan ul Haq. « DefectoFix : An interactive defect fix logging tool ». Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5268.
Texte intégralLivres sur le sujet "Static Analysis Tool"
Arena, Mark V. Shipbuilding & force structure analysis tool : A user's guide ; prepared for the U.S. Navy. Santa Monica, CA : RAND, 2004.
Trouver le texte intégralPetrova, Inga. Digital technologies as a financial control tool. ru : INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1234413.
Texte intégralNikiforova, Elena, Lyudmila Kupriyanova, Viktor Shnayder, Marina Borovickaya, Ol'ga Gizatullina, Natal'ya Mihalenok et Leyla Berdnikova. Management analysis. ru : INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1414397.
Texte intégralDmitrieva, Ol'ga. Accounting, analysis and audit of operations with securities. ru : INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1048787.
Texte intégralNikiforova, Elena, Marina Borovickaya, Lyudmila Kupriyanova, Ol'ga Shnayder, Aleksandr Petrov et Sergey Bank. Analysis of financial statements. ru : INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1839710.
Texte intégralContemporary lithic analysis in the Southeast : Problems, solutions, and interpretations. Tuscaloosa : University of Alabama Press, 2012.
Trouver le texte intégralRyzhikova, tamara. Marketing in the aerospace field. ru : INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1003199.
Texte intégralKrekotnev, Sergey. State policy in relation to cities and regions with mono-specialization : experience and priorities. ru : INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1098273.
Texte intégralChernysheva, Yuliya. Analysis and diagnostics of financial-economic activity of enterprise(organization). ru : INFRA-M Academic Publishing LLC., 2017. http://dx.doi.org/10.12737/24681.
Texte intégralAverin, Aleksandr, Yu Baltgaylis, B. Svagzhdene et V. Grigor'eva. Improving the effectiveness of regional economic policy in the field of support and development of small business. ru : INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1846180.
Texte intégralChapitres de livres sur le sujet "Static Analysis Tool"
Nordin, Magnus, Thomas Lindgren et Håkan Millroth. « IGOR : A tool for developing Prolog dataflow analyzers ». Dans Static Analysis, 420–21. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_54.
Texte intégralNielson, Flemming. « Semantics-directed program analysis : A tool-maker's perspective ». Dans Static Analysis, 2–21. Berlin, Heidelberg : Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_30.
Texte intégralFecht, Christian. « GENA — A tool for generating Prolog analyzers from specifications ». Dans Static Analysis, 418–19. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_53.
Texte intégralBesson, Frédéric, Thomas Jensen et Pierre Vittet. « SawjaCard : A Static Analysis Tool for Certifying Java Card Applications ». Dans Static Analysis, 51–67. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_4.
Texte intégralSpoto, Fausto. « Watchpoint Semantics : A Tool for Compositional and Focussed Static Analyses ». Dans Static Analysis, 127–45. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_8.
Texte intégralHall, Robert J. « Open Modeling in Multi-stakeholder Distributed Systems : Research and Tool Challenges ». Dans Static Analysis, 2. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5_2.
Texte intégralPonce-de-León, Hernán, Florian Furbach, Keijo Heljanko et Roland Meyer. « Portability Analysis for Weak Memory Models porthos : One Tool for all Models ». Dans Static Analysis, 299–320. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66706-5_15.
Texte intégralvon Maltitz, Marcel, Cornelius Diekmann et Georg Carle. « Privacy Assessment Using Static Taint Analysis (Tool Paper) ». Dans Formal Techniques for Distributed Objects, Components, and Systems, 225–35. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-60225-7_16.
Texte intégralKama, Nazri, Saiful Adli Ismail, Kamilia Kamardin, Norziha Megat Zainuddin, Azri Azmi et Wan Shafiuddin Zainuddin. « A Change Impact Analysis Tool : Integration Between Static and Dynamic Analysis Techniques ». Dans Communications in Computer and Information Science, 413–24. Cham : Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22689-7_32.
Texte intégralAmato, Gianluca, Maurizio Parton et Francesca Scozzari. « A Tool Which Mines Partial Execution Traces to Improve Static Analysis ». Dans Runtime Verification, 475–79. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16612-9_37.
Texte intégralActes de conférences sur le sujet "Static Analysis Tool"
Noman, Haitham Ameen, Qusay Al-Maatouk et Sinan Ameen Noman. « A Static Analysis Tool for Malware Detection ». Dans 2021 International Conference on Data Analytics for Business and Industry (ICDABI). IEEE, 2021. http://dx.doi.org/10.1109/icdabi53623.2021.9655866.
Texte intégralDewar, Robert B. K. « The compiler as a static analysis tool ». Dans the 2007 ACM international conference. New York, New York, USA : ACM Press, 2007. http://dx.doi.org/10.1145/1315580.1315601.
Texte intégralShah, Bhasha M., et Usha Mehta. « Development of Static Timing Analysis Tool in Perl ». Dans 2020 International Conference on Recent Trends on Electronics, Information, Communication & Technology (RTEICT). IEEE, 2020. http://dx.doi.org/10.1109/rteict49044.2020.9315618.
Texte intégralHarrison, Warren. « An extensible static analysis tool for COBOL programs ». Dans the 15th annual conference. New York, New York, USA : ACM Press, 1987. http://dx.doi.org/10.1145/322917.322962.
Texte intégralImtiaz, Nasif, Akond Rahman, Effat Farhana et Laurie Williams. « Challenges with Responding to Static Analysis Tool Alerts ». Dans 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). IEEE, 2019. http://dx.doi.org/10.1109/msr.2019.00049.
Texte intégralNair, Sreeja, Raoul Jetley, Anil Nair et Stefan Hauck-Stattelmann. « A static code analysis tool for control system software ». Dans 2015 IEEE 22nd International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2015. http://dx.doi.org/10.1109/saner.2015.7081856.
Texte intégralDariz, Luca, Massimiliano Ruggeri et Michele Selvatici. « A static microcode analysis tool for programmable load drivers ». Dans 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2015. http://dx.doi.org/10.1109/scam.2015.7335424.
Texte intégralKhatiwada, Saket, Michael Kelly et Anas Mahmoud. « STAC : A tool for Static Textual Analysis of Code ». Dans 2016 IEEE 24th International Conference on Program Comprehension (ICPC). IEEE, 2016. http://dx.doi.org/10.1109/icpc.2016.7503746.
Texte intégralGuinde, Nitesh B., Xin Tang, Ronak Sutaria, Sotirios G. Ziavras et Constantine N. Manikopoulos. « FPGA-based static analysis tool for detecting malicious binaries ». Dans 2nd International Conference on Computer and Automation Engineering (ICCAE 2010). IEEE, 2010. http://dx.doi.org/10.1109/iccae.2010.5451703.
Texte intégralJianping Cai et Ximin Yang. « Implementation of migration based on static analysis tool OINK ». Dans 2010 2nd International Conference on Information Science and Engineering (ICISE). IEEE, 2010. http://dx.doi.org/10.1109/icise.2010.5690419.
Texte intégralRapports d'organisations sur le sujet "Static Analysis Tool"
Okun, vadim, Romain Gaucher et Paul E. Black. Static analysis tool exposition (SATE) 2008. Gaithersburg, MD : National Institute of Standards and Technology, 2009. http://dx.doi.org/10.6028/nist.sp.500-279.
Texte intégralOkun, vadim, Aurelien Delaitre et Paul E. Black. The second static analysis tool exposition (SATE) 2009. Gaithersburg, MD : National Institute of Standards and Technology, 2010. http://dx.doi.org/10.6028/nist.sp.500-287.
Texte intégralOkun, Vadim, Aurelien Delaitre et Paul E. Black. Report on the Static Analysis Tool Exposition (SATE) IV. National Institute of Standards and Technology, janvier 2013. http://dx.doi.org/10.6028/nist.sp.500-297.
Texte intégralOkun, vadim, Aurelien Delaitre et Paul E. Black. Report on the third static analysis tool exposition (SATE 2010). Gaithersburg, MD : National Institute of Standards and Technology, 2011. http://dx.doi.org/10.6028/nist.sp.500-283.
Texte intégralDelaitre, Aurelien, Bertrand Stivalet, Paul E. Black, Vadim Okun, Athos Ribeiro et Terry S. Cohen. SATE V report : ten years of static analysis tool expositions. Gaithersburg, MD : National Institute of Standards and Technology, octobre 2018. http://dx.doi.org/10.6028/nist.sp.500-326.
Texte intégralKiianovska, N. M. The development of theory and methods of using cloud-based information and communication technologies in teaching mathematics of engineering students in the United States. Видавничий центр ДВНЗ «Криворізький національний університет», décembre 2014. http://dx.doi.org/10.31812/0564/1094.
Texte intégralKirby, Stephen F. Model Execution and Evaluation Tool : Current Status and Initial MM5 Ensemble Member Analysis Results. Fort Belvoir, VA : Defense Technical Information Center, décembre 2003. http://dx.doi.org/10.21236/ada419432.
Texte intégralEdwards, Jennifer L., Ryan Wiser, Mark Bolinger et Trudy Forsyth. Evaluating state markets for residential wind systems : Results from an economic and policy analysis tool. Office of Scientific and Technical Information (OSTI), décembre 2004. http://dx.doi.org/10.2172/837811.
Texte intégralMaddux, Gary A. Microelectronic Status Analysis and Secondary Part Procureability Assessment Process Tools and Procedures Development and Implementation. Fort Belvoir, VA : Defense Technical Information Center, octobre 1999. http://dx.doi.org/10.21236/ada374500.
Texte intégralHotsur, Oksana. SOCIAL NETWORKS AND BLOGS AS TOOLS PR-CAMPAIGN IMPLEMENTATIONS. Ivan Franko National University of Lviv, mars 2021. http://dx.doi.org/10.30970/vjo.2021.50.11110.
Texte intégral