Relevant bibliographies by topics / Static Analysis Tool

Academic literature on the topic 'Static Analysis Tool'

Author: Grafiati
Published: 10 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Static Analysis Tool.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Static Analysis Tool"

1

Thomson, Patrick. "Static Analysis: An Introduction." Queue 19, no. 4 (August 31, 2021): 29–41. http://dx.doi.org/10.1145/3487019.3487021.

Full text
Abstract:
Modern static-analysis tools provide powerful and specific insights into codebases. The Linux kernel team, for example, developed Coccinelle, a powerful tool for searching, analyzing, and rewriting C source code; because the Linux kernel contains more than 27 million lines of code, a static-analysis tool is essential both for finding bugs and for making automated changes across its many libraries and modules. Another tool targeted at the C family of languages is Clang scan-build, which comes with many useful analyses and provides an API for programmers to write their own analyses. Like so many things in computer science, the utility of static analysis is self-referential: To write reliable programs, we must also write programs for our programs. But this is no paradox. Static-analysis tools, complex though their theory and practice may be, are what will enable us, and engineers of the future, to overcome this challenge and yield the knowledge and insights that we practitioners deserve.
APA, Harvard, Vancouver, ISO, and other styles
2

Tiganov, Daniil, Lisa Nguyen Quang Do, and Karim Ali. "Designing UIs for Static Analysis Tools." Queue 19, no. 4 (August 31, 2021): 97–118. http://dx.doi.org/10.1145/3487019.3487026.

Full text
Abstract:
Static-analysis tools suffer from usability issues such as a high rate of false positives, lack of responsiveness, and unclear warning descriptions and classifications. Here, we explore the effect of applying user-centered approach and design guidelines to SWAN, a security-focused static-analysis tool for the Swift programming language. SWAN is an interesting case study for exploring static-analysis tool usability because of its large target audience, its potential to integrate easily into developers' workflows, and its independence from existing analysis platforms.
APA, Harvard, Vancouver, ISO, and other styles
3

Dewar, Robert B. K. "The compiler as a static analysis tool." ACM SIGAda Ada Letters XXVII, no. 3 (November 17, 2007): 83–88. http://dx.doi.org/10.1145/1315607.1315601.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Koshelev, V. K., V. N. Ignatiev, A. I. Borzilov, and A. A. Belevantsev. "SharpChecker: Static analysis tool for C# programs." Programming and Computer Software 43, no. 4 (July 2017): 268–76. http://dx.doi.org/10.1134/s0361768817040041.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gawade, Makarand, K. Ravikanth, and Sanjeev Aggarwal. "Constantine: configurable static analysis tool in Eclipse." Software: Practice and Experience 44, no. 5 (December 7, 2012): 537–63. http://dx.doi.org/10.1002/spe.2173.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

LIANG, Guang-Tai, Na MENG, Jin-Hui LI, Hao ZHONG, Lu ZHANG, and Qian-Xiang WANG. "A Semi-Automatic Extensible Static Defect Analysis Tool." Chinese Journal of Computers 34, no. 6 (September 6, 2011): 1114–25. http://dx.doi.org/10.3724/sp.j.1016.2011.01114.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Anderson, Paul. "Measuring the Value of Static-Analysis Tool Deployments." IEEE Security & Privacy Magazine 10, no. 3 (May 2012): 40–47. http://dx.doi.org/10.1109/msp.2012.4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Tiganov, Daniil, Lisa Nguyen Quang Do, and Karim Ali. "Designing UIs for static-analysis tools." Communications of the ACM 65, no. 2 (February 2022): 52–58. http://dx.doi.org/10.1145/3486600.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Guo, Ting Ting, Teng Jiao Sun, and Fang Shao. "Finite Element Analysis for Static Stiffness of a Crankshaft Grinding Machine Tool." Applied Mechanics and Materials 543-547 (March 2014): 76–79. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.76.

Full text
Abstract:
Taking a grinding machine tool as an example, this paper obtained the static stiffness of the machine tool by finite element analysis method. The structure and technical parameters of the machine tool were introduced at first.Then, the finite element model of the machine tool was established. The static stiffness of the machine tool in x-, y-, and z-directions were simulated at last. The results show that, the static stiffness in x-direction is 2.0062×107 N/m, the static stiffness in y-direction is 0.821×107 N/m, and the static stiffness in z-direction is 0.2992×107 N/m. This paper provides advices for structure optimization of the machine tool which is convenient for improving the machining accuracy.
APA, Harvard, Vancouver, ISO, and other styles
10

Peng, Rui Tao, Wang Yan, Xin Zi Tang, and Zhuan Zhou. "Dynamic Characteristics Analysis and Structural Topology Optimization of the Plane Grinder." Key Engineering Materials 693 (May 2016): 471–78. http://dx.doi.org/10.4028/www.scientific.net/kem.693.471.

Full text
Abstract:
The dynamic characteristic is one of the important indicators which determine the performance of a machine tool, in this paper, the finite element model of a plane grinder is established with consideration of the behavior of joint, the static dynamic characteristics of machine tools are analyzed to reveal the vibration weak link, the column structure is topology optimized and redesigned based on the variable density degradation method. Static and dynamic characteristics of the original and new column are compared, and the dynamic characteristics of the machine tool before and after modification are discussed. The results indicate that the static and dynamic characteristics of the plane grinder are all improved after optimization.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Static Analysis Tool"

1

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dutko, Adam M. "THE RELATIONAL DATABASE: A NEW STATIC ANALYSIS TOOL?" Cleveland State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=csu1313678735.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Baca, 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gustafson, Christopher, and 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.

Full text
Abstract:
In the aviation industry, the use of software development tools is not as easily adopted as in other industries. Due to the catastrophic consequences of software errors in airborne systems, software development processes has rigorous requirements. One of these requirements is that a code standard must be followed. Code standards are used to exclude code constructions which could result in unwanted behaviours. The process of manually ensuring a specific code standard can be costly. This process could be automated by a tool for static code analysis, however, this requires a formal qualification. This thesis evaluates the process of qualifying a tool for static code analysis in accordance with the requirements of the major aviation authorities EASA and FAA. To describe the qualification process, a literature study was conducted. To further explain how an existing tool could be put through the qualification process, a case study of the existing tool Parasoft C/C++ test was conducted. The results of the literature study show what processes must be completed in order to qualify a static code analysis tool. Importantly, the study shows that no requirements are put on the development process of the tool. This was an important takeaway as it meant that an existing tool could be qualified without any additional data from the developer of the tool. The case study of Parasoft C/C++ test showed how the tool could be configured and verified to analyze code in accordance with a small set of code rules. Furthermore, three documents including qualification data were produced showing how the qualification process should be documented in order to communicate the process to an authority. The results of the thesis do not provide the full picture of how a tool could be qualified as the software, in which the tool is used, is considerations the are specific to the software the tool is used to develop still need to be taken into consideration. The thesis does, however, provide guidance on the majority of the applicable requirements. Future research could be done to provide the complete picture of the qualification process, as well as how the process would look like for other types of tools.
Inom 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.
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
Thesis (M.S.)--Missouri University of Science and Technology, 2010.
Vita. 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).
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
With Smartphones becoming an increasingly important part of human life, the security of these devices is very much at stake. The versatility of these phones and their associated applications has fostered an increasing number of mobile malware attacks. The purpose of the research was to answer the following research questions: 1. What are the existing methods for analysing mobile malware? 2. How can methods for analysing mobile malware be evaluated? 3. What would comprise a suitable test bed(s) for analysing mobile malware? The research analyses and compares the various tools and methods available for compromising the Android OS and observing the malware activity before and after its installation onto an Android emulator. Among several available tools and methods, the approach made use of online scanning engines to perform pre installation of mobile malware analysis and the AppUse (Android Pentest Platform Unified Standalone Environment) tool to perform post installation. Both the above approaches facilitate better analysis of mobile malware before and after being installed onto the mobile device. This is because, with malware being the root cause of many security breaches, the developed mobile malware analysis allows future security practitioners in this field to determine if newly developed applications are malicious and, if so, what would their effect be on the target. In addition, the AppUse tool can allow security practitioners to first establish the behaviour of post installed malware infections onto the Android emulator then be able to effectively eliminate malware from individual systems as well as the Google Play Store. Moreover, mobile malware analysis can help with a successful incident response, assisting with mitigating the loss of intellectual property, personal information as well as other critical private data. It can strive to limit the damage of a security breach or to reduce the scope of damage of an attack. The basic structure of the research work began with a dynamic analysis, followed by a static analysis: a) Mobile malware were collected and downloaded from the Contagio website to compromise an Android emulator, b) Mobile malware were uploaded onto five online scanning engines for dynamic analysis to perform pre installation analysis, and c) AppUse tool was implemented and used for static analysis to perform post installation analysis by making use of its: a. Android emulator and, b. JD-GUI and Dex2Jar tools. The findings were that the AppUse methodology used in the research was successful but the outcome was not as anticipated. This was because the installed malicious applications on the Android emulator did not generate the derived behavioural reports; instead, only manifest files in xml format. To overcome this issue, JD-GUI and Dex2Jar tools were used to manually generate the analysis results from the Android emulator to analyse malware behaviour. The key contribution of this research work is the proposal of a dynamic pre-installation and a static post-installation analysis of ten distinct Android malware samples. To our knowledge, no research has been conducted on post installation of mobile malware analysis and this is the first research that uses the AppUse tool for mobile malware analysis.
APA, Harvard, Vancouver, ISO, and other styles
7

Hubert, Laurent. "Foundations and implementation of a tool bench for static analysis of Java bytecode programs." Rennes 1, 2010. http://www.theses.fr/2010REN1S122.

Full text
Abstract:
In this thesis we study the static analysis of Java bytecode and its semantics foundations. The initialization of an information system is a delicate operation where security properties are enforced and invariants installed. Initialization of fields, objects and classes in Java are difficult operations. These difficulties may lead to security breaches and to bugs, and make the static verification of software more difficult. This thesis proposes static analyses to better master initialization in Java. Hence, we propose a null pointer analysis that finely tracks initialization of fields. It allows proving the absence of dereferencing of null pointers (NullPointerException) and refining the intra-procedural control flow graph. We present another analysis to refine the inter-procedural control flow due to class initialization. This analysis directly allows inferring more precise information about static fields. Finally, we propose a type system that allows enforcer secure object initialization, hence offering a sound and automatic solution to a known security issue. We formalize these analyses, their semantic foundations, and prove their soundness. Furthermore, we also provide implementations. We developed several tools from our analyses, with a strong focus at having sound but also efficient tools. To ease the adaptation of such analyses, which have been formalized on idealized languages, to the full-featured Java bytecode, we have developed a library that have been made available to the community and is now used in other research labs across Europe
Dans 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
APA, Harvard, Vancouver, ISO, and other styles
8

Gebhard, Gernot [Verfasser], and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lerner, 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.

Full text
Abstract:
An assemblage of prehistoric Huron chipped stone tools has been analyzed in terms of its inherently dynamic properties. It is hypothesized that the series of measurements and ratios that has been developed is more efficient than existing systems for gauging the changing nature of these implements over time. The statistical evaluation of the data revealed strong linear relationships between various pairs of variables, such as projectile point length and tip angle and end scraper bit edge angles and bit height. It was found that comparing these data to other attributes of these tools, such as use-wear traces and reduction techniques, can be very informative about how each category of tools changed through manufacture, use, and maintenance. The results of this analysis were then compared to those of a more traditional study of a contemporaneous collection of Huron stone tools (Poulton, 1985), demonstrating the utility of the techniques developed.
APA, Harvard, Vancouver, ISO, and other styles
10

Hameed, Muhammad Muzaffar, and 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.

Full text
Abstract:
Despite the large efforts made during the development phase to produce fault free system, most of the software implementations still require the testing of entire system. The main problem in the software testing is the automation that could verify the system without manual intervention. Recent work in software testing is related to the automated fault injection by using fault models from repository. This requires a lot of efforts, which adds to the complexity of the system. To solve this issue, this thesis suggests DefectoFix framework. DefectoFix is an interactive defect fix logging tools that contains five components namely Version Control Sysem (VCS), source code files, differencing algorithm, Defect Fix Model (DFM) creation and additional information (project name, class name, file name, revision number, diff model). The proposed differencing algorithm extracts detailed information by detecting differences in source code files. This algorithm performs comparison at sub-tree levels of source code files. The extracted differences with additional information are stored as DFM in repository. DFM(s) can later be used for the automated fault injection process. The validation of DefectoFix framework is performed by a tool developed using Ruby programming language. Our case study confirms that the proposed framework generates a correct DFM and is useful in automated fault injection and software validation activities.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Static Analysis Tool"

1

Arena, Mark V. Shipbuilding & force structure analysis tool: A user's guide ; prepared for the U.S. Navy. Santa Monica, CA: RAND, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Petrova, Inga. Digital technologies as a financial control tool. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1234413.

Full text
Abstract:
The textbook reveals the concept and meaning of digital technologies, the legal nature of information interaction in the implementation of control measures based on general theoretical concepts and regulatory legal acts. Special attention is paid to the types of information systems used in the control process in the financial and budgetary sphere. The necessity of creating information systems based on international experience, global indices and rules of the Organization for Economic Cooperation and Development (OECD) is justified. The article defines the specific characteristics of the state information systems used in the control (monitoring) in the financial and budgetary sphere, and also considers the subsystems that make up the state integrated information system "Electronic Budget" and other information systems in the information space of the Russian Federation. The article analyzes interdepartmental information interaction and digital methods that ensure the protection of information in the course of financial control. For graduate students, postgraduates and teachers of law and non-legal universities, as well as for practitioners.
APA, Harvard, Vancouver, ISO, and other styles
3

Nikiforova, Elena, Lyudmila Kupriyanova, Viktor Shnayder, Marina Borovickaya, Ol'ga Gizatullina, Natal'ya Mihalenok, and Leyla Berdnikova. Management analysis. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1414397.

Full text
Abstract:
The textbook reveals the role and importance of management analysis in the formation of the strategy and tactics of organization management, taking into account the industry specifics of the functioning of economic entities in the production sector, the conceptual apparatus of management analysis; describes the main approaches to information support; presents applied tools and practical situations aimed at ensuring the financial stability of business, describes approaches to assessing the effectiveness of entrepreneurial activity based on alternative management solutions adequate to current real-time conditions. Meets the requirements of the federal state educational standards of higher education of the latest generation. It is intended for graduate students of economic universities, teachers, practitioners and specialists in the field of management and analysis, studying in the field of training 38.04.01 "Economics", to acquire practical skills in conducting managerial analysis and making informed managerial decisions. It may be of interest to employees of financial services, financial managers of enterprises, as well as students of the system of training, certification and development of professional competencies of managers, auditors and business analysis specialists.
APA, Harvard, Vancouver, ISO, and other styles
4

Dmitrieva, Ol'ga. Accounting, analysis and audit of operations with securities. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1048787.

Full text
Abstract:
The textbook describes the procedure of maintenance of accounting and tax accounting transactions with underlying securities (shares, bonds, bills of exchange) to organizations that are not professional participants of the securities market. Describes the methodology and fundamental analysis of the stock and methods used to estimate their fair value. It considers the basic tools of technical analysis of the securities market. Disclosed method of analysis of debt securities. The method of audit of operations with securities. Meets the requirements of Federal state educational standards of higher education of the last generation. For students studying in field of study 38.03.01 "Economics", practitioners in the field of accounting and analysis, as well as individuals interested in the analysis of debt and equity financial tools to create a personal investment portfolio.
APA, Harvard, Vancouver, ISO, and other styles
5

Nikiforova, Elena, Marina Borovickaya, Lyudmila Kupriyanova, Ol'ga Shnayder, Aleksandr Petrov, and Sergey Bank. Analysis of financial statements. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1839710.

Full text
Abstract:
The textbook reveals the role and importance of financial reporting in the formation of the strategy and tactics of management of an organization, taking into account the specifics of the functioning of economic entities in the production sector, the main approaches to information support; presents applied tools and practical situations aimed at generating reliable data in financial statements; describes approaches to assessing the data of financial statements of economic entities. Meets the requirements of the federal state educational standards of higher education of the latest generation. It is recommended to undergraduate students of economic universities studying in the field of preparation 38.03.01 "Economics", teachers, practitioners and specialists in the field of management and analysis of financial statements to acquire practical skills in conducting analysis and making informed management decisions. It may be of interest to employees of financial services, financial managers of enterprises, as well as students of the system of training, certification and development of professional competencies of managers, auditors and business analysis specialists.
APA, Harvard, Vancouver, ISO, and other styles
6

Contemporary lithic analysis in the Southeast: Problems, solutions, and interpretations. Tuscaloosa: University of Alabama Press, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ryzhikova, tamara. Marketing in the aerospace field. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1003199.

Full text
Abstract:
The tutorial provides an overview of the main methodological approaches to the analysis of the market of rocket and space technology and services on the basis of its specific features, methods of evaluating competition and its justification, the reinterpretation of basic marketing tools and approaches in combination with innovative ideas and methods of achieving high economic results in the space market. The main aim is to provide future marketers with the necessary material, methods, technologies and tools with which to solve various problems related to the understanding of the structure of the space market, the company's place in the market, its competitive position and overall competitiveness. Meets the requirements of Federal state educational standards of higher education of the last generation. Intended for undergraduates and academics in aerospace orientation, postgraduate students, marketing analysts, marketers, corporate executives and agencies of the military-industrial complex.
APA, Harvard, Vancouver, ISO, and other styles
8

Krekotnev, 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.

Full text
Abstract:
The monograph analyzes the policy in relation to cities and regions with monospecialization as one of the priority directions of state policy. The article considers the specifics of single-industry cities and regions as socio-political phenomena and objects of state regulation. The main principles, directions, mechanisms and tools for the implementation of state policy in relation to single-profile spatial formations are studied. Special attention is paid to the political and comparative analysis of foreign and domestic experience in the formation and implementation of this direction of state policy, as well as to identifying the degree of applicability of its main models in modern conditions. For specialists in the field of political science and related sciences, as well as anyone interested in this issue in its theoretical and applied dimensions.
APA, Harvard, Vancouver, ISO, and other styles
9

Chernysheva, 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.

Full text
Abstract:
The textbook contains the main elements of the methodology for diagnostics and analysis of financial and economic activities of the organization. The chapters of the textbook consider the role, significance, types, methods of analysis of financial and economic activities of the organization, its mathematical tools, the history and new directions of analysis of the organization's activities in Russian and foreign analytical practice, as well as methods for analyzing the volume of production, sales and cost of production, the analysis of security and use of material and labor resources, fixed assets, analysis of financial results and financial condition of the organization. Meets the requirements of the Federal state educational standard of higher education of the latest generation. For University students in the field of training 38.03.01 " Economics "and other areas, studying the disciplines" Analysis and diagnostics of financial and economic activities"," Complex economic analysis", as well as students in the system of retraining.
APA, Harvard, Vancouver, ISO, and other styles
10

Averin, Aleksandr, Yu Baltgaylis, B. Svagzhdene, and 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.

Full text
Abstract:
The monograph consists of an introduction, three chapters, conclusion and appendices, as well as a list of references. The first chapter substantiates theoretical approaches to the essence, conditions and factors of ensuring the sustainable development of small business in modern socio-economic conditions. The factors influencing the development of small business, methodological approaches and indicators for assessing the effectiveness of economic policy for the sustainable development of small business are considered. The second chapter analyzes the international experience of the economic policy of small business development, on the basis of economic analysis, trends and problems of ensuring the sustainable development of small business in the Baltic States and in the Moscow agglomeration are identified. Using mathematical modeling tools, the effectiveness of the state policy in the field of small business development in the Moscow agglomeration was assessed. In the third chapter, the directions of increasing the effectiveness of the regional economic policy of small business development are defined. An economic and mathematical model of the factors of small business development in the regions and tools for assessing the impact of factors on the sustainable development of entrepreneurship have been developed. In order to increase the efficiency and effectiveness of the work of the executive and legislative authorities and authorities in the field of support and development of small and medium-sized businesses in the region, based on the principles of the OECD methodology for assessing the impact of the OECD on competition, recommendations were developed to improve tools for assessing the best municipal practices of the Russian Federation in terms of their impact on the entrepreneurial competition of small and medium-sized enterprises. business. The main text of the study consists of 150 pages and is illustrated with 18 figures and 10 tables. The work contains 15 applications. The list of bibliographic sources includes 248 titles.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Static Analysis Tool"

1

Nordin, Magnus, Thomas Lindgren, and Håkan Millroth. "IGOR: A tool for developing Prolog dataflow analyzers." In Static Analysis, 420–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_54.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Nielson, Flemming. "Semantics-directed program analysis: A tool-maker's perspective." In Static Analysis, 2–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61739-6_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Fecht, Christian. "GENA — A tool for generating Prolog analyzers from specifications." In Static Analysis, 418–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_53.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Besson, Frédéric, Thomas Jensen, and Pierre Vittet. "SawjaCard: A Static Analysis Tool for Certifying Java Card Applications." In Static Analysis, 51–67. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Spoto, Fausto. "Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses." In Static Analysis, 127–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hall, Robert J. "Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges." In Static Analysis, 2. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ponce-de-León, Hernán, Florian Furbach, Keijo Heljanko, and Roland Meyer. "Portability Analysis for Weak Memory Models porthos: One Tool for all Models." In Static Analysis, 299–320. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66706-5_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

von Maltitz, Marcel, Cornelius Diekmann, and Georg Carle. "Privacy Assessment Using Static Taint Analysis (Tool Paper)." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kama, Nazri, Saiful Adli Ismail, Kamilia Kamardin, Norziha Megat Zainuddin, Azri Azmi, and Wan Shafiuddin Zainuddin. "A Change Impact Analysis Tool: Integration Between Static and Dynamic Analysis Techniques." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Amato, Gianluca, Maurizio Parton, and Francesca Scozzari. "A Tool Which Mines Partial Execution Traces to Improve Static Analysis." In Runtime Verification, 475–79. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16612-9_37.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Static Analysis Tool"

1

Noman, Haitham Ameen, Qusay Al-Maatouk, and Sinan Ameen Noman. "A Static Analysis Tool for Malware Detection." In 2021 International Conference on Data Analytics for Business and Industry (ICDABI). IEEE, 2021. http://dx.doi.org/10.1109/icdabi53623.2021.9655866.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dewar, Robert B. K. "The compiler as a static analysis tool." In the 2007 ACM international conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1315580.1315601.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Shah, Bhasha M., and Usha Mehta. "Development of Static Timing Analysis Tool in Perl." In 2020 International Conference on Recent Trends on Electronics, Information, Communication & Technology (RTEICT). IEEE, 2020. http://dx.doi.org/10.1109/rteict49044.2020.9315618.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Harrison, Warren. "An extensible static analysis tool for COBOL programs." In the 15th annual conference. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/322917.322962.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Imtiaz, Nasif, Akond Rahman, Effat Farhana, and Laurie Williams. "Challenges with Responding to Static Analysis Tool Alerts." In 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR). IEEE, 2019. http://dx.doi.org/10.1109/msr.2019.00049.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Nair, Sreeja, Raoul Jetley, Anil Nair, and Stefan Hauck-Stattelmann. "A static code analysis tool for control system software." In 2015 IEEE 22nd International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2015. http://dx.doi.org/10.1109/saner.2015.7081856.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Dariz, Luca, Massimiliano Ruggeri, and Michele Selvatici. "A static microcode analysis tool for programmable load drivers." In 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2015. http://dx.doi.org/10.1109/scam.2015.7335424.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Khatiwada, Saket, Michael Kelly, and Anas Mahmoud. "STAC: A tool for Static Textual Analysis of Code." In 2016 IEEE 24th International Conference on Program Comprehension (ICPC). IEEE, 2016. http://dx.doi.org/10.1109/icpc.2016.7503746.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Guinde, Nitesh B., Xin Tang, Ronak Sutaria, Sotirios G. Ziavras, and Constantine N. Manikopoulos. "FPGA-based static analysis tool for detecting malicious binaries." In 2nd International Conference on Computer and Automation Engineering (ICCAE 2010). IEEE, 2010. http://dx.doi.org/10.1109/iccae.2010.5451703.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Jianping Cai and Ximin Yang. "Implementation of migration based on static analysis tool OINK." In 2010 2nd International Conference on Information Science and Engineering (ICISE). IEEE, 2010. http://dx.doi.org/10.1109/icise.2010.5690419.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Static Analysis Tool"

1

Okun, vadim, Romain Gaucher, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Okun, vadim, Aurelien Delaitre, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Okun, Vadim, Aurelien Delaitre, and Paul E. Black. Report on the Static Analysis Tool Exposition (SATE) IV. National Institute of Standards and Technology, January 2013. http://dx.doi.org/10.6028/nist.sp.500-297.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Okun, vadim, Aurelien Delaitre, and 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Delaitre, Aurelien, Bertrand Stivalet, Paul E. Black, Vadim Okun, Athos Ribeiro, and Terry S. Cohen. SATE V report: ten years of static analysis tool expositions. Gaithersburg, MD: National Institute of Standards and Technology, October 2018. http://dx.doi.org/10.6028/nist.sp.500-326.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kiianovska, 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. Видавничий центр ДВНЗ «Криворізький національний університет», December 2014. http://dx.doi.org/10.31812/0564/1094.

Full text
Abstract:
The purpose of the study is the analysis of the development of the theory and methods of ICT usage while teaching higher mathematics engineering students in the United States. It was determined following tasks: to analyze the problem source, to identify the state of its elaboration, to identify key trends in the development of theory and methods of ICT usage while teaching higher mathematics engineering students in the United States, the object of study – the use of ICT in teaching engineering students, the research methods are: analysis of scientific, educational, technical, historical sources; systematization and classification of scientific statements on the study; specification, comparison, analysis and synthesis, historical and pedagogical analysis of the sources to establish the chronological limits and implementation of ICT usage in educational practice of U.S. technical colleges. In article was reviewed a modern ICT tools used in learning of fundamental subjects for future engineers in the United States, shown the evolution and convergence of ICT learning tools. Discussed experience of the «best practices» using online ICT in higher engineering education at United States. Some of these are static, while others are interactive or dynamic, giving mathematics learners opportunities to develop visualization skills, explore mathematical concepts, and obtain solutions to self-selected problems. Among ICT tools are the following: tools to transmit audio and video data, tools to collaborate on projects, tools to support object-oriented practice. The analysis leads to the following conclusion: using cloud-based tools of learning mathematic has become the leading trend today. Therefore, university professors are widely considered to implement tools to assist the process of learning mathematics such properties as mobility, continuity and adaptability.
APA, Harvard, Vancouver, ISO, and other styles
7

Kirby, Stephen F. Model Execution and Evaluation Tool: Current Status and Initial MM5 Ensemble Member Analysis Results. Fort Belvoir, VA: Defense Technical Information Center, December 2003. http://dx.doi.org/10.21236/ada419432.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Edwards, Jennifer L., Ryan Wiser, Mark Bolinger, and Trudy Forsyth. Evaluating state markets for residential wind systems: Results from an economic and policy analysis tool. Office of Scientific and Technical Information (OSTI), December 2004. http://dx.doi.org/10.2172/837811.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Maddux, Gary A. Microelectronic Status Analysis and Secondary Part Procureability Assessment Process Tools and Procedures Development and Implementation. Fort Belvoir, VA: Defense Technical Information Center, October 1999. http://dx.doi.org/10.21236/ada374500.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hotsur, Oksana. SOCIAL NETWORKS AND BLOGS AS TOOLS PR-CAMPAIGN IMPLEMENTATIONS. Ivan Franko National University of Lviv, March 2021. http://dx.doi.org/10.30970/vjo.2021.50.11110.

Full text
Abstract:
The article deals with the ways in which social networks and the blogosphere influence the formation and implementation of a PR campaign. Examples from the political sphere (election campaigns, initiatives), business (TV brands, traditional and online media) have revealed the opportunities that Facebook, Telegram, Twitter, YouTube and blogs promote in promoting advertising, ideas, campaigns, thoughts, or products. Author blogs created on special websites or online media may not be as much of a tool in PR as an additional tool on social media. It is noted that choosing a blog as the main tool of PR campaign has both positive and negative points. Social networks intervene in the sphere of human life, become a means of communication, promotion, branding. The effectiveness of social networks has been evidenced by such historically significant events as Brexit, the Arab Spring, and the Revolution of Dignity. Special attention was paid to the 2019 presidential election. Based on the analysis of individual PR campaigns, the reasons for successful and unsuccessful campaigns from the point of view of network communication, which provide unlimited multimedia and interactive tools for PR, are highlighted. In fact, these concepts significantly affect the effectiveness of the implementation of PR-campaign, its final effectiveness, which is determined by the achievement of goals. Attention is drawn to the culture of communication during the PR campaign, as well as the concepts of “trolls”, “trolling”, “bots”, “botoin industry”. The social communication component of these concepts is unconditional. Choosing a blog as the main tool of a marketing campaign has both positive and negative aspects. Only a person with great creative potential can run and create a blog. In addition, it takes a long time. In fact, these two points are losing compared to other internet marketing tools. Further research is interesting in two respects. First, a comparison of the dynamics of the effectiveness of PR-campaign tools in Ukraine in 2020 and in the past, in particular, at the dawn of state independence. Secondly, to investigate how/or the concept of PR-campaigns in social networks and blogs is constantly changing.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Static Analysis Tool' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography