Bibliographies thématiques / Static analysi

Sommaire

  1. Articles de revues
  2. Thèses
  3. Livres
  4. Chapitres de livres
  5. Actes de conférences
  6. Rapports d'organisations

Littérature scientifique sur le sujet « Static analysi »

Auteur : Grafiati
Publié le 9 mars 2023
Mis à jour le 14 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Static analysi ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Static analysi"

1

Yuniati, Trihastuti, Aris Rafael Tambunan et 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 (18 octobre 2022) : 24–28. http://dx.doi.org/10.20895/ledger.v1i2.848.

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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 (17 mai 2017) : 1781. http://dx.doi.org/10.14687/jhs.v14i2.4440.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Birla, Shilpi, R. K. Singh et 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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 (13 février 2020) : 914–24. http://dx.doi.org/10.5373/jardcs/v12sp1/20201143.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Cui, Bing Yan, Li Wen Chen, Zhi Jun Wang, Yuan Hao Zhao, Li Zhan Xian et 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 (mars 2015) : 3–12. http://dx.doi.org/10.4028/www.scientific.net/jbbbe.22.3.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Résumé :
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
Styles APA, Harvard, Vancouver, ISO, etc.
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.

Texte intégral
Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Static analysi"

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "Static analysi"

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Static analysi"

1

Jones, Markland G., Michael T. Barton et Walter F. O’Brien. « The Use of Circumferentially Nonuniform Stators to Attenuate LP Compressor Rotor-Stator-Strut Aerodynamic and Mechanical Interactions ». Dans 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.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Nguyen Quang Do, Lisa, et Eric Bodden. « Gamifying static analysis ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Karpel, Mordechay, Sara Yaniv et David Livshits. « Integrated solution for computational static aeroelastic problems ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Static analysi"

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
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. Видавничий центр ДВНЗ «Криворізький національний університет», décembre 2014. http://dx.doi.org/10.31812/0564/1094.

Texte intégral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Black, Paul E., Helen Gill, W. Bradley Martin et 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Okun, vadim, Romain Gaucher et Paul E. Black. Static analysis tool exposition (SATE) 2008. Gaithersburg, MD : National Institute of Standards and Technology, 2009. http://dx.doi.org/10.6028/nist.sp.500-279.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Static analysi » pour d’autres types de sources :
Articles de revues Thèses Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie