Relevant bibliographies by topics / Static analysi

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Static analysi'

Author: Grafiati
Published: 9 March 2023
Last updated: 14 March 2023

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

Select a source type:

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

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 analysi"

1

Yuniati, Trihastuti, Aris Rafael Tambunan, and Yoso Adi Setyoko. "Implementasi Static Analysis Dan Background Process Untuk Mendeteksi Malware Pada Aplikasi Android Dengan Mobile Security Framework." LEDGER : Journal Informatic and Information Technology 1, no. 2 (October 18, 2022): 24–28. http://dx.doi.org/10.20895/ledger.v1i2.848.

Full text
Abstract:
Android menjadi sistem operasi yang paling banyak digunakan di antara sekian banyak pilihan sistem operasi untuk perangkat mobile dengan dukungan oleh aplikasi yang beragam guna memudahkan kehidupan manusia dalam beraktifitas Mobile Security Framework (MobSF) adalah framework pengujian otomatis bersifat open-source, yang mampu melakukan uji penetrasi, analisis malware, penilaian keamanan aplikasi seluler dengan analisis statis dan dinamis dalam melakukan proses analisis akan menampilkan hasil berupa laporan mengenai aplikasi android tersebut. Tujuan Penelitian ini adalaha bagaimana menggunakan Mobile Security Framwork (MobSF) sebagai analisis static malware pada aplikasi android. Sample malware akan diambil melalui internet dan menganalisis malware tersebut menggunakan metode analisis statik yang membaca informasi malware lalu dikombinasikan dengan background process android dengan menginstal live pada device android. Peneliti menggunakan Mobile security framework (MobSF) untuk menganalisis statik keamanan dengan parameter dangerous permissions, weak crypto, root detection, SSL bypass dan domain malware check pada aplikasi X8Speeder. Hasil dari analisis, terdeteksi Malware dan memiliki perizinan yang tidak sewajarnya. Seperti yang terlihat, aplikasi game tidak memerlukan izin untuk memodifikasi penyimpanan eksternal smartphone. Maka dari itu, diperlukannya ketelitian pengguna agar tidak sembarangan mengunduh atau mengklik sesuatu ketika berinternet. Kata Kunci: Mobile Security Framework, Static Analysis, Backgrund Proces Android. Android
APA, Harvard, Vancouver, ISO, and other styles
2

Chen, Li Wen, Bing Yan Cui, Zhi Jun Wang, Ling Chao Meng, and Zhan Xian Li. "Statics Analysis and Design of the 6-DOF Lower Limb Bionic Leg." Journal of Biomimetics, Biomaterials and Biomedical Engineering 26 (February 2016): 1–12. http://dx.doi.org/10.4028/www.scientific.net/jbbbe.26.1.

Full text
Abstract:
In order to improve ability of walking and crossing the barriers , increase the carrying capacity, and enhance its popularity and adaptability, a novel lower limb bionic leg is presented based on 3-UPS parallel mechanism, which has the characteristics of movement flexible and strong adaptability. It is very important analysis to statics of lower limb bionic leg. Firstly, statics equation of the lower limb bionic leg of driving force and output force is established based on virtual work principle. Secondly, static performance evaluation index is defined and the evaluation index distribution map is drawn. The relationship between the structure parameters and the static performance evaluation indexes is analyzed, obtained the influence of structure parameters on the static performance evaluation index, and a set of reasonable structural parameters is selected. The circum-radius of moving platform is 50mm, the circum-radius of the static platform is 150mm, the moving platform angle and static platform angle are equal to 60°, the lower limb bionic leg has the best load carrying capacity. Thirdly, the lower limb bionic leg is designed based on statics analysis and structure parameters optimization. Analysis results show that the lower limb bionic leg has good static transmission performance at the initial position, and the static transmission performance decreases with increasing turning workspace. The static transmission performance decreases with z axle displacement increasing. The analysis results laid a foundation for further analysis and research of the lower limb bionic leg.
APA, Harvard, Vancouver, ISO, and other styles
3

Dave Marmik M, Dave Marmik M., and Kothari Kartik D. "Static Structure Analysis of Diesel Engine Camshaft." International Journal of Scientific Research 2, no. 5 (June 1, 2012): 208–9. http://dx.doi.org/10.15373/22778179/may2013/69.

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

Sever, Ozan. "Comparison of static and dynamic core exercises’ effects on Stork balance test in soccer players Futbolcularda statik ve dinamik core egzersizlerin Stork denge testine etkisi." Journal of Human Sciences 14, no. 2 (May 17, 2017): 1781. http://dx.doi.org/10.14687/jhs.v14i2.4440.

Full text
Abstract:
This study compared the effects of dynamic and static core training programs on core stability tests and Stork balance performance in soccer players. A Static (n = 14, 18,21±1,81) and Dynamic (n = 13, 17,31±0,63) training groups performed three 30 min sessions per week for eight weeks meanwhile attended routine soccer training sessions with a control group (n = 11, 17,73±1,27). Effects of different core training regimes were compared after eight weeks with two-factor variance analysis (condition X time) for related measures. Two experiment groups improved dynamic and static core stabilization test scores, while control group did not change. Core stabilization tests showed that the improvements of experiment groups affected by the movement specifity and Static group increased static test scores (plank 23,8% - back isometric 28,9% - leg raise 15,6%) while Dynamic group increased mostly the dynamic test scores (sit-up 21,2%, push up 16,2%). For Stork balance, both experiment groups improved the test scores between %18 and %67. While the Static group increased the duration of Stork test on both feet more than the Dynamic group, this difference was statistically significant only for non-dominant foot in intergroup analysis. The static structure of the Stork test may explain the significant improvement in static core group. Results indicate that the positive effect of core training on core stability may improve balance and static core training may be more effective for static balance tests.Extended English abstract is in the end of PDF (TURKISH) file. ÖzetBu çalışmanın amacı, 8 haftalık statik ve dinamik core egzersizlerin futbolcularda core stabilizasyon ve Stork denge performansı üzerine etkisini karşılaştırmaktır. Toplam 38 sporcu (17,75±1,36) Dinamik (n=13, 17,31±0,63), Statik (n=14, 18,21±1,81) ve Kontrol (n=11, 17,73±1,27) grupları olarak üç gruba ayrıldı. Statik ve Dinamik egzersiz grupları 8 hafta, haftada 3 gün, günde yaklaşık 30 dakika statik ya da dinamik egzersizler uygularken, buna karşın kontrol grubu yalnızca futbol antrenmanları gerçekleştirdi. Verilerin analizinde ilişkili ölçümler için iki faktörlü varyans analizi kullanıldı. Tüm core stabilizasyon testlerinde deney grupları anlamlı gelişme görüldü. Kontrol grubunda değişme görülmedi. Gelişmenin hareketin spesifikliğinden etkilendiği, Statik grubun statik test skorlarını daha fazla arttırdığı (plank 23,8% - sırt izometrik 28,9%- bacak kaldırma 15,6%), Dinamik grubun ise dinamik testlerde skorları daha fazla arttırdığı (şınav 16,2% - mekik 21,2%) görüldü. Benzer şekilde, iki deney grubu Stork denge testinde her iki ayak için denge süresini % 18 ile% 67 arasında artırdı. Ama kontrol grubu değişmedi. Statik grup her iki ayak içinde dengede kalma süresini Dinamik gruba göre daha fazla arttırırken, gruplar arası analizde non-dominant ayak ölçümünde bu farklılık istatistiksel olarak anlamlılık g. Denge ölçümünün statik yapıda olması, Statik gruptaki yüksek gelişimi açıklayabilir. Sonuç olarak; dinamik ve statik core egzersizler ile artan core stabilizasyonun statik denge üzerinde olumlu etkisi olduğu tespit edildi. Ancak statik core çalışmalarının statik denge performansı için daha etkili olduğu söylenebilir.
APA, Harvard, Vancouver, ISO, and other styles
5

J, Manikandan, and Yusuf Mubin A. "Design, Static Analysis and Fabrication of Composite Joints." International Journal of Psychosocial Rehabilitation 23, no. 4 (July 20, 2019): 180–89. http://dx.doi.org/10.37200/ijpr/v23i4/pr190175.

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

Birla, Shilpi, R. K. Singh, and Manisha Pattnaik. "Static Noise Margin Analysis of Various SRAM Topologies." International Journal of Engineering and Technology 3, no. 3 (2011): 304–9. http://dx.doi.org/10.7763/ijet.2011.v3.242.

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

Baig, Mirza Ibrahim Ali. "Implications of Static and Dynamic Analysis of Bevel Gear." Journal of Advanced Research in Dynamical and Control Systems 12, no. 01-Special Issue (February 13, 2020): 914–24. http://dx.doi.org/10.5373/jardcs/v12sp1/20201143.

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

Dave, Marmik M., and Manish P. Vekariya. "Static Structure Analysis of Diesel Truck Engine Connecting Rod." International Journal of Scientific Research 2, no. 6 (June 1, 2012): 197–98. http://dx.doi.org/10.15373/22778179/june2013/62.

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

Lin, Zhuang, Ya Xiong Zheng, Jing Zou, Han Bing Sun, and Deng Hui Xu. "A Static-Stability Analysis Method for Ships Based on the Second-Development of Solid Edge." Advanced Materials Research 712-715 (June 2013): 1162–66. http://dx.doi.org/10.4028/www.scientific.net/amr.712-715.1162.

Full text
Abstract:
A static-stability calculation method for ships which use the second-development of Solid Edge is presented in this paper. The second-development of Solid Edge applied Visual Basic to divide the waterplane and measure the parameters concerned static-stability calculation such as the volume and center of the underwater model. Furturemore, it makes the statics-stability calculation be convenient that the paragraph of static-stability is calculated on the parameters and the dismiss angle is returned. According to the comparison of the experiments and the theory, including different forms of superstructure models, it can be proved that this method is reliable and effective in the static-stability calculation for ships.
APA, Harvard, Vancouver, ISO, and other styles
10

Cui, Bing Yan, Li Wen Chen, Zhi Jun Wang, Yuan Hao Zhao, Li Zhan Xian, and Zhen Lin Jin. "Analysis of Statics and Design of Structur Parameters for a Bionic Robot Hip Joint." Journal of Biomimetics, Biomaterials and Biomedical Engineering 22 (March 2015): 3–12. http://dx.doi.org/10.4028/www.scientific.net/jbbbe.22.3.

Full text
Abstract:
The hip joint is one of the body's important joints, most of the lower limb activities of the human body are inseparable from the hip joint, a novel bionic robot hip joint was proposed based on 3-DOF spherical parallel mechanism. The statics performance of the bionic robot hip joint was analyzed, and the structure parameters were designed. First, the static transmission equation of the bionic robot hip joint was established using the principle of virtual works, which simplifies the calculation process of the bionic robot hip joint. Further, using the norm in Matrix theory, the force Jacobian matrix was introduced into the statics performance evaluation index, and the statics performance evaluation index and the global torque performance evaluation index was defined, and the performance atlas of the statics performance evaluation index was plotted at the workspace of the bionic robot hip joint. Moreover the objective optimal function was established basing on the global torque performance evaluation index, and the relation of the objective optimal function and the global torque performance evaluation index were analyzed. By use of fully automatic searching method, the optimal structural parameter ranges of the bionic robot hip joint were obtained. Analysis results show that the bionic robot hip joint has good static transmission performance at initial position, and the static transmission performance is decreased with increasing the workspace. Finally, using a set of optimal structural sizes parameters, a novel bionic robot hip joint was designed, which established the theoretical foundation for the bionic robot design and apply.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Static analysi"

1

SANTORO, MAURO. "Inference of behavioral models that support program analysis." Doctoral thesis, Università degli Studi di Milano-Bicocca, 2011. http://hdl.handle.net/10281/19514.

Full text
Abstract:
The use of models to study the behavior of systems is common to all fields. A behavioral model formalizes and abstracts the view of a system and gives insight about the behavior of the system being developed. In the software field, behavioral models can support software engineering tasks. In particular, relevant uses of behavioral models are included in all the main analysis and testing activities: models are used in program comprehension to complement the information available in specifications, are used in testing to ease test case generation, used as oracles to verify the correctness of the executions, and are used as failure detection to automatically identify anomalous behaviors. When behavioral models are not part of specifications, automated approaches can automatically derive behavioral models from programs. The degree of completeness and soundness of the generated models depends from the kind of inferred model and the quality of the data available for the inference. When model inference techniques do not work well or the data available for the inference are poor, the many testing and analysis techniques based on these models will necessarily provide poor results. This PhD thesis concentrates on the problem of inferring Finite State Automata (the model that is likely most used to describe the behavior of software systems) that describe the behavior of programs and components and can be useful as support for testing and analysis activities. The thesis contributes to the state of the art by: (1) Empirically studying the effectiveness of techniques for the inference of FSAs when a variable amount of information (from scarce to good) is available for the inference; (2) Empirically comparing the effectiveness of techniques for the inference of FSAs and Extended FSAs; (3) Proposing a white-box technique that infers FSAs from service-based applications by starting from a complete model and then refining the model by incrementally removing inconsistencies; (4) Proposing a black-box technique that infers FSAs by starting from a partial model and then incrementally producing additional information to increase the completeness of the model.
APA, Harvard, Vancouver, ISO, and other styles
2

SHRESTHA, JAYESH. "Static Program Analysis." Thesis, Uppsala universitet, Informationssystem, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-208293.

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

Jakobsson, Filip. "Static Analysis for BSPlib Programs." Thesis, Orléans, 2019. http://www.theses.fr/2019ORLE2005.

Full text
Abstract:
La programmation parallèle consiste à utiliser des architectures à multiples unités de traitement, de manière à ce que le temps de calcul soit inversement proportionnel au nombre d’unités matérielles. Le modèle de BSP (Bulk Synchronous Parallel) permet de rendre le temps de calcul prévisible. BSPlib est une bibliothèque pour la programmation BSP en langage C. En BSPlib on entrelace des instructions de contrôle de la structure parallèle globale, et des instructions locales pour chaque unité de traitement. Cela permet des optimisations fines de la synchronisation, mais permet aussi l’écriture de programmes dont les calculs locaux divergent et masquent ainsi l’évolution globale du calcul BSP. Toutefois, les programmes BSPlib réalistes sont syntaxiquement alignés, une propriété qui garantit la convergence du flot de contrôle parallèle. Dans ce mémoire nous étudions les trois dimensions principales des programmes BSPlib du point de vue de l’alignement syntaxique : la synchronisation, le temps de calcul et la communication. D’abord nous présentons une analyse statique qui identifie les instructions syntaxiquement alignées et les utilise pour vérifier la sûreté de la synchronisation globale. Cette analyse a été implémentée en Frama-C et certifiée en Coq. Ensuite nous utilisons l’alignement syntaxique comme base d’une analyse statique du temps de calcul. Elle est fondée sur une analyse classique du coût pour les programmes séquentiels. Enfin nous définissons une condition suffisante pour la sûreté de l’enregistrement des variables. L’enregistrement en BSPlib permet la communication par accès aléatoire à la mémoire distante (DRMA) mais est sujet à des erreurs de programmation. Notre développement technique est la base d’une future analyse statique de ce mécanisme
The goal of scalable parallel programming is to program computer architectures composed of multiple processing units so that increasing the number of processing units leads to an increase in performance. Bulk Synchronous Parallel (BSP) is a widely used model for scalable parallel programming with predictable performance. BSPlib is a library for BSP programming in C. In BSPlib, parallel algorithms are expressed by intermingling instructions that control the global parallel structure, and instructions that express the local computation of each processing unit. This lets the programmer fine-tune synchronization, but also implement programs whose diverging parallel control flow obscures the underlying BSP structure. In practice however, the majority of BSPlib program are textually aligned, a property that ensures parallel control flow convergence. We examine three core aspects of BSPlib programs through the lens of textual alignment: synchronization, performanceandcommunication.First,wepresentastaticanalysisthatidentifiestextuallyalignedstatements and use it to verify safe synchronization. This analysis has been implemented in Frama-C and certified in Coq. Second, we exploit textual alignment to develop a static performance analysis for BSPlib programs, based on classic cost analysis for sequential programs. Third, we develop a textual alignment-based sufficient condition for safe registration. Registration in BSPlib enables communication by Direct Remote Memory Access but is error prone. This development forms the basis for a future static analysis of registration
APA, Harvard, Vancouver, ISO, and other styles
4

Djoudi, Adel. "Binary level static analysis." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLX093.

Full text
Abstract:
Les méthodes de vérification automatique des logiciels connaissent un succès croissant depuis le début des années 2000, suite à plusieurs succès industriels (Microsoft, Airbus, etc.). L'analyse statique vise, à partir d'une description du programme, à inférer automatiquement des propriétés vérifiées par celui-ci. Les techniques standards d'analyse statique travaillent sur le code source du logiciel, écrit par exemple en C ou Java. Cependant, avoir accès au code source n'est pas envisageable pour de nombreuses applications relatives à la sécurité, soit que le code source n'est pas disponible (code mobile, virus informatiques), soit que le développeur ne veut pas le divulguer (composants sur étagère, certification par un tiers).Nous nous intéressons dans cette thèse à la conception et au développement d'une plate-forme d'analyse statique de code binaire à des fins d'analyse de sécurité. Nos principales contributions se font à trois niveaux: sémantique, implémentation et analyse statique.Tout d'abord, la sémantique des programmes binaires analysés est basée sur un formalisme générique appelé DBA qui a été enrichi avec des mécanismes de spécification et d'abstraction. La définition de la sémantique des programmes binaires requiert aussi un modèle mémoire adéquat.Nous proposons un modèle mémoire adapté au binaire, inspiré des travaux récents sur le code C bas-niveau. Ce nouveau modèle permet de profiter de l'abstraction du modèle à régions tout en gardant l'expressivité du modèle plat.Ensuite, notre plate-forme d'analyse de code binaire nommée BinSec offre trois services de base: désassemblage, simulation et analyse statique.Chaque instruction machine est traduite vers un bloc d'instructions DBA avec une sémantique équivalente. Une large partie des instructions x86 est gérée par la plateforme. Une passe de simplification permet d'éliminer les calculs intermédiaires inutiles afin d'optimiser le fonctionnement des analyses ultérieures. Nos simplifications permettent notamment d'éliminer jusqu'à75% des mises à jours de flags.Enfin, nous avons développé un moteur d'analyse statique de programmes binaires basé sur l'interprétation abstraite. Outre des domaines adaptés aux spécificités du code binaire, nous nous sommes concentrés sur le contrôle par l'utilisateur du compromis entre précision/correction et efficacité. De plus, nous proposons une approche originale de reconstruction de conditions dehaut-niveau à partir des conditions bas-niveau afin de gagner plus de précision d'analyse. L'approche est sûre, efficace, indépendante de la plateforme cibleet peut atteindre des taux de reconstruction très élevés
Automatic software verification methods have seen increasing success since the early 2000s, thanks to several industrial successes (Microsoft, Airbus, etc.).Static program analysis aims to automatically infer verified properties of programs, based on their descriptions. The standard static analysis techniques apply on the software source code, written for instance in C or Java. However, access to source code is not possible for many safety-related applications, whether the source code is not available (mobile code, computer virus), or the developer does not disclose it (shelf components, third party certification).We are interested in this dissertation in design and development of a static binary analysis platform for safety analysis. Our contributions are made at three levels: semantics, implementation and static analysis.First, the semantics of analyzed binary programs is based on a generic, simple and concise formalism called DBA. It is extended with some specification and abstraction mechanisms in this dissertation. A well defined semantics of binary programs requires also an adequate memory model. We propose a new memory model adapted to binary level requirements and inspired from recent work on low-level C. This new model allows to enjoy the abstraction of the region-based memory model while keeping the expressiveness of the flat model.Second, our binary code analysis platform BinSec offers three basic services:disassembly, simulation and static analysis. Each machine instruction is translated into a block of semantically equivalent DBA instructions. The platform handles a large part of x86 instructions. A simplification step eliminates useless intermediate calculations in order to ease further analyses. Our simplifications especially allow to eliminate up to 75% of flag updates.Finally, we developed a static analysis engine for binary programs based on abstract interpretation. Besides abstract domains specifically adapted to binary analysis, we focused on the user control of trade offs between accuracy/correctness and efficiency. In addition, we offer an original approach for high-level conditions recovery from low-level conditions in order to enhance analysis precision. The approach is sound, efficient, platform-independent and it achieves very high ratio of recovery
APA, Harvard, Vancouver, ISO, and other styles
5

TELESCA, ALESSIO. "ADVANCED MODELLING OF OVER-STROKE DISPLACEMENT CAPACITY FOR CURVED SURFACE SLIDER DEVICES." Doctoral thesis, Università degli studi della Basilicata, 2022. http://hdl.handle.net/11563/153765.

Full text
Abstract:
This doctoral dissertation aims to report on the research work carried out and to provide a contribution to the field of seismic base isolation. Since its introduction, the base isolation strategy proved to be an effective solution for the protection of structures and their components from the earthquake-induced damage, enhancing their resilience and implying a significative decrease in time and cost of repair compared to a conventional fixed-base structure. Sliding isolation devices feature some important characteristics, over other devices, that make them particularly suitable for the application in the existing buildings retrofit such as the high displacements capacity combined with limited plan dimensions. Even though these devices diffusion has gotten more popular worldwide in last years, a full understanding of their performances and limits as well as their behaviour under real seismic excitations has not been yet completely achieved. When Curved Surface Sliders reach their displacement capacity, they enter the so-called over-stroke sliding regime which is characterized by an increase in stiffness and friction coefficient. While in the over-stroke displacements regime, anyways, sliding isolators are still capable, until certain threshold values, of preserving their ability to support gravity loads. In this doctoral dissertation, the analysis of Curved Surface Sliding devices influence on different structures and under different configurations is presented and a tool for to help professionals in the design phase is provided. The research main focuses are: i) the numerical investigation of the over-stroke displacement influence on base isolated structures; ii) the numerical investigation of displacement retaining elements influence on base isolated structures; iii) the development of a mechanical model and an algebraic solution describing the over-stroke sliding regime and the associated limit displacements.
APA, Harvard, Vancouver, ISO, and other styles
6

Fu, Zhoulai. "Static analysis of numerical properties in the presence of pointers." Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00918593.

Full text
Abstract:
The fast and furious pace of change in computing technology has become an article of faith for many. The reliability of computer-based systems cru- cially depends on the correctness of its computing. Can man, who created the computer, be capable of preventing machine-made misfortune? The theory of static analysis strives to achieve this ambition. The analysis of numerical properties of programs has been an essential research topic for static analysis. These kinds of properties are commonly modeled and handled by the concept of numerical abstract domains. Unfor- tunately, lifting these domains to heap-manipulating programs is not obvious. On the other hand, points-to analyses have been intensively studied to an- alyze pointer behaviors and some scale to very large programs but without inferring any numerical properties. We propose a framework based on the theory of abstract interpretation that is able to combine existing numerical domains and points-to analyses in a modular way. The static numerical anal- ysis is prototyped using the SOOT framework for pointer analyses and the PPL library for numerical domains. The implementation is able to analyze large Java program within several minutes. The second part of this thesis consists of a theoretical study of the com- bination of the points-to analysis with another pointer analysis providing information called must-alias. Two pointer variables must alias at some pro- gram control point if they hold equal reference whenever the control point is reached. We have developed an algorithm of quadruple complexity that sharpens points-to analysis using must-alias information. The algorithm is proved correct following a semantics-based formalization and the concept of bisimulation borrowed from the game theory, model checking etc.
APA, Harvard, Vancouver, ISO, and other styles
7

Agrawal, Akash. "Static Analysis to improve RTL Verification." Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/75293.

Full text
Abstract:
Integrated circuits have traveled a long way from being a general purpose microprocessor to an application specific circuit. It has become an integral part of the modern era of technology that we live in. As the applications and their complexities are increasing rapidly every day, so are the sizes of these circuits. With the increase in the design size, the associated testing effort to verify these designs is also increased. The goal of this thesis is to leverage some of the static analysis techniques to reduce the effort of testing and verification at the register transfer level. Studying a design at register transfer level gives exposure to the relational information for the design which is inaccessible at the structural level. In this thesis, we present a way to generate a Data Dependency Graph and a Control Flow Graph out of a register transfer level description of a circuit description. Next, the generated graphs are used to perform relation mining to improve the test generation process in terms of speed, branch coverage and number of test vectors generated. The generated control flow graph gives valuable information about the flow of information through the circuit design. We are using this information to create a framework to improve the branch reachability analysis mainly in terms of the speed. We show the efficiency of our methods by running them through a suite of ITC'99 benchmark circuits.
Master of Science
APA, Harvard, Vancouver, ISO, and other styles
8

Borchert, Thomas. "Code Profiling : Static Code Analysis." Thesis, Karlstad University, Faculty of Economic Sciences, Communication and IT, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-1563.

Full text
Abstract:

Capturing the quality of software and detecting sections for further scrutiny within are of high interest for industry as well as for education. Project managers request quality reports in order to evaluate the current status and to initiate appropriate improvement actions and teachers feel the need of detecting students which need extra attention and help in certain programming aspects. By means of software measurement software characteristics can be quantified and the produced measures analyzed to gain an understanding about the underlying software quality.

In this study, the technique of code profiling (being the activity of creating a summary of distinctive characteristics of software code) was inspected, formulized and conducted by means of a sample group of 19 industry and 37 student programs. When software projects are analyzed by means of software measurements, a considerable amount of data is produced. The task is to organize the data and draw meaningful information from the measures produced, quickly and without high expenses.

The results of this study indicated that code profiling can be a useful technique for quick program comparisons and continuous quality observations with several application scenarios in both industry and education.

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

Lanaspre, Benoit. "Static analysis for distributed prograph." Thesis, University of Southampton, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.262726.

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

Ahmad, S. H. S. "Static analysis of masonry arches." Thesis, University of Salford, 2017. http://usir.salford.ac.uk/43067/.

Full text
Abstract:
The aim of the present research was to provide a practical theoretical model based on elementary statics, for assessment for masonry arch bridges, that benefits from the large scale experimental programme at Salford University, together with insight gained from the Distinct Element numerical modelling work. The need for large scale laboratory controlled load tests of physical models that may be reliably confined to a specific domain of behaviour with known parameters and modelling constraints, was highlighted in chapter 2 with reference to literature. Load tests on various distributions of surcharge were carried and the mechanisms of failure observed. The numerical modelled was shown to agree with expected theoretical behaviour and shown good agreement with experimental results. A theoretical model was developed which benefitted from insight from the experimental and numerical work to provide a means of predicting the failure load of the arch-fill system for the lading arrangements carried out in the physical and numerical tests. The model provided predicted failure loads for a range of material variation within a reasonable expected range and showed promising resemblance to the physical modelling results.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Static analysi"

1

Drăgoi, Cezara, Suvam Mukherjee, and Kedar Namjoshi, eds. Static Analysis. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88806-0.

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

Logozzo, Francesco, and Manuel Fähndrich, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9.

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

Cousot, Radhia, ed. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-44898-5.

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

Cortesi, Agostino, and Gilberto Filé, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48294-6.

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

Cousot, Patrick, ed. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0.

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

Nielson, Hanne Riis, and Gilberto Filé, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74061-2.

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

Blazy, Sandrine, and Thomas Jensen, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-48288-9.

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

Mycroft, Alan, ed. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3.

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

Hermenegildo, Manuel V., and Germán Puebla, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45789-5.

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

Palsberg, Jens, and Zhendong Su, eds. Static Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03237-0.

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

Book chapters on the topic "Static analysi"

1

Merlet, Jean-Pierre. "Static analysis." In Solid Mechanics and Its Applications, 247–67. Dordrecht: Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-010-9587-7_8.

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

Mohanta, Abhijit, and Anoop Saldanha. "Static Analysis." In Malware Analysis and Detection Engineering, 377–402. Berkeley, CA: Apress, 2020. http://dx.doi.org/10.1007/978-1-4842-6193-4_12.

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

Weik, Martin H. "static analysis." In Computer Science and Communications Dictionary, 1657–58. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18153.

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

Smith, David J. "Static analysis." In Achieving Quality Software, 123–44. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-0549-1_11.

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

Brumley, David. "Static Analysis." In Encyclopedia of Cryptography and Security, 1254–56. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-1-4419-5906-5_839.

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

Hsieh, Harry, Felice Balarin, and Alberto Sangiovanni-Vincentelli. "Static Equivalence Analysis." In Synchronous Equivalence, 67–79. Boston, MA: Springer US, 2001. http://dx.doi.org/10.1007/978-1-4615-1659-0_6.

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

Kukimoto, Yuji, Michel Berkelaar, and Karem Sakallah. "Static Timing Analysis." In Logic Synthesis and Verification, 373–401. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-0817-5_14.

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

Doyle, James F. "Nonlinear Static Analysis." In Mechanical Engineering Series, 169–240. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4757-3546-8_4.

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

Bhathagar, Himanshu. "Static Timing Analysis." In Advanced ASIC Chip Synthesis, 231–73. Boston, MA: Springer US, 1999. http://dx.doi.org/10.1007/978-1-4419-8668-9_12.

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

Mukherjee, Sudipta. "Static Code Analysis." In Thinking in LINQ, 151–64. Berkeley, CA: Apress, 2014. http://dx.doi.org/10.1007/978-1-4302-6844-4_7.

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

Conference papers on the topic "Static analysi"

1

Jones, Markland G., Michael T. Barton, and Walter F. O’Brien. "The Use of Circumferentially Nonuniform Stators to Attenuate LP Compressor Rotor-Stator-Strut Aerodynamic and Mechanical Interactions." In ASME 1996 International Gas Turbine and Aeroengine Congress and Exhibition. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-gt-154.

Full text
Abstract:
A potential flow computer model that can handle blade row interaction problems has been used to analyze the circumferential static pressure distribution at the trailing edge plane of the last rotor in an axial compressor which is produced by a downstream stator/strut system. The computer model is based on the Douglas-Neumann formulation. The code was used to design a circumferentially nonuniform stagger angle distribution for the stator that reduced the static pressure disturbance on the rotor. The predicted circumferential static pressure distribution and its resulting frequency content at the rotor trailing edge station for the baseline (uniform circumferential stagger angles) stator and for the optimized stator are compared to static pressure data and derived frequency content from engine tests of each configuration. The results show good agreement between the model predictions and the test data. The results are further confirmed by measurements of rotor strain levels with the baseline stator and with the optimized stator, which show a proportional decrease in rotor strain for the optimized stator configuration. Since incorporation of this low-cost modification, there has been no evidence of vibratory induced rotor distress, thereby improving engine reliability and maintainability and enhancing customer satisfaction.
APA, Harvard, Vancouver, ISO, and other styles
2

Dillon, Laura. "Session details: Static analysis." In ISSTA '08: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2008. http://dx.doi.org/10.1145/3260631.

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

Nguyen Quang Do, Lisa, and Eric Bodden. "Gamifying static analysis." In ESEC/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3236024.3264830.

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

Lahiri, Shuvendu K., Kapil Vaswani, and C. A. R. Hoare. "Differential static analysis." In the FSE/SDP workshop. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1882362.1882405.

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

Borodin, Alexey, Andrey Belevantsev, Dmitry Zhurikhin, and Alexey Izbyshev. "Deterministic Static Analysis." In 2018 Ivannikov Memorial Workshop (IVMEM). IEEE, 2018. http://dx.doi.org/10.1109/ivmem.2018.00009.

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

Koch, Patrick W., Birgit Hofer, and Franz Wotawa. "Static Spreadsheet Analysis." In 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, 2016. http://dx.doi.org/10.1109/issrew.2016.8.

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

Do, Lisa Nguyen Quang, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. "Just-in-time static analysis." In ISSTA '17: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3092703.3092705.

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

Muske, Tukaram, Rohith Talluri, and Alexander Serebrenik. "Repositioning of static analysis alarms." In ISSTA '18: International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3213846.3213850.

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

Karpel, Mordechay, Sara Yaniv, and David Livshits. "Integrated solution for computational static aeroelastic problems." In 6th Symposium on Multidisciplinary Analysis and Optimization. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1996. http://dx.doi.org/10.2514/6.1996-4012.

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

Gotovchits, Ivan, Rijnard Van Tonder, and David Brumley. "Saluki: Finding Taint-style Vulnerabilities with Static Property Checking." In Workshop on Binary Analysis Research. Reston, VA: Internet Society, 2018. http://dx.doi.org/10.14722/bar.2018.23019.

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

Reports on the topic "Static analysi"

1

Oliver, B., T. Dahlgren, and M. Miller. NEAMS Static Analysis. Office of Scientific and Technical Information (OSTI), October 2012. http://dx.doi.org/10.2172/1053670.

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

Sevy, R. H. Quasi-static transient analysis. Office of Scientific and Technical Information (OSTI), October 1985. http://dx.doi.org/10.2172/712226.

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

Barry, Matthew, Eric Bush, Doug Smith, Devesh Bhatt, David Oglesby, Anca Browne, and Steve Hickman. Static Analysis Numerical Algorithms. Fort Belvoir, VA: Defense Technical Information Center, April 2016. http://dx.doi.org/10.21236/ad1008340.

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

Maddox III, William H. Incremental Static Semantic Analysis. Fort Belvoir, VA: Defense Technical Information Center, May 1997. http://dx.doi.org/10.21236/ada604432.

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

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
6

Ghormley, Douglas, Geoffrey Reedy, and Kirk Landin. Language Independent Static Analysis (LISA). Office of Scientific and Technical Information (OSTI), September 2020. http://dx.doi.org/10.2172/1673452.

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

Teitelbaum, Tim. Programmable Interfaces for Advanced Static Analysis. Fort Belvoir, VA: Defense Technical Information Center, June 2004. http://dx.doi.org/10.21236/ada426890.

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

Black, Paul E., Helen Gill, W. Bradley Martin, and Elizabeth Fong. Proceedings of the static analysis summit. Gaithersburg, MD: National Institute of Standards and Technology, 2006. http://dx.doi.org/10.6028/nist.sp.500-262.

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

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
10

Pearce, Lauren. Basic Static and Dynamic Analysis: Malware Analysis Day 1. Office of Scientific and Technical Information (OSTI), June 2018. http://dx.doi.org/10.2172/1457296.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Static analysi' 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