scholarly journals Endicheck: Dynamic Analysis for Detecting Endianness Bugs

2020 ◽  
pp. 254-270
Author(s):  
Roman Kápl ◽  
Pavel Parízek
Keyword(s):  
Dynamic Analysis ◽  
Open Source ◽  
Computer Systems ◽  
Source Code ◽  
Analysis Tool ◽  
Linux Kernel ◽  
Numeric Data ◽  
The Given ◽  
Code Annotations

Abstract Computers store numbers in two mutually incompatible ways: little-endian or big-endian. They differ in the order of bytes within representation of numbers. This ordering is called endianness. When two computer systems, programs or devices communicate, they must agree on which endianness to use, in order to avoid misinterpretation of numeric data values. We present Endicheck, a dynamic analysis tool for detecting endianness bugs, which is based on the popular Valgrind framework. It helps developers to find those code locations in their program where they forgot to swap bytes properly. Endicheck requires less source code annotations than existing tools, such as Sparse used by Linux kernel developers, and it can also detect potential bugs that would only manifest if the given program was run on computer with an opposite endianness. Our approach has been evaluated and validated on the Radeon SI Linux OpenGL driver, which is known to contain endianness-related bugs, and on several open-source programs. Results of experiments show that Endicheck can successfully identify many endianness-related bugs and provide useful diagnostic messages together with the source code locations of respective bugs.

scholarly journals IMPLEMENTASI KATOOLIN SEBAGAI PENETRASI TOOLS KALI LINUX PADA LINUX UBUNTU 16.04 (STUDI KASUS: REVERSE ENGINEERING FILE .APK)

2018 ◽  
Vol 1 (2) ◽  
pp. 86-93
Author(s):  
I Putu Agus Eka Pratama ◽  
Anak Agung Bagus Arya Wiradarma
Keyword(s):  
Operating System ◽  
Reverse Engineering ◽  
Open Source ◽  
Computer System ◽  
Computer Systems ◽  
Source Code ◽  
System Security ◽  
Source Characteristic

The Linux Operating System is known for its open-source characteristic which means everyone is free to develop Linux with the use of available source code. The result of Linux development is called Linux distribution (Distro). There are various Linux distributions in accordance with their respective uses, one of them is Kali Linux. Kali Linux is a Linux distro that is developed to penetrate the security of computer systems. Kali Linux uses a variety of tools to perform its functions. However, for users who want to use the functionality of Kali Linux without having to change the Linux distro that has been used, the user can use Katoolin. Katoolin can provide the convenience and flexibility for users who want to use Kali Linux as a special Linux distro for the purpose of penetrating computer system security without having to replace the distro that has been used or do a full install of Kali Linux. One case study that can be solved using the Kali Kali Linux based tool on Katoolin is Reverse Engineering. The case study was solved using one of the tools in the Reverse Engineering category named apktool that available on Katoolin.

scholarly journals IPEAT+: A Built-In Optimization and Automatic Calibration Tool of SWAT+

Water ◽  
2019 ◽  
Vol 11 (8) ◽  
pp. 1681 ◽  
Author(s):  
Haw Yen ◽  
Seonggyu Park ◽  
Jeffrey G. Arnold ◽  
Raghavan Srinivasan ◽  
Celray James Chawanda ◽  
...  
Keyword(s):  
Open Source ◽  
Assessment Tool ◽  
Swat Model ◽  
Optimization Technique ◽  
Source Code ◽  
Watershed Modeling ◽  
Automatic Calibration ◽  
Analysis Tool ◽  
New Generation ◽  
Calibration Tool

For almost 30 years, the Soil and Water Assessment Tool (SWAT) has been successfully implemented to address issues around various scientific subjects in the world. On the other hand, it has been reaching to the limit of potential flexibility in further development by the current structure. The new generation SWAT, dubbed SWAT+, was released recently with entirely new coding features. SWAT+ is designed to have far more advanced functions and capacities to handle challenging watershed modeling tasks for hydrologic and water quality processes. However, it is still inevitable to conduct model calibration before the SWAT+ model is applied to engineering projects and research programs. The primary goal of this study is to develop an open-source, easy-to-operate automatic calibration tool for SWAT+, dubbed IPEAT+ (Integrated Parameter Estimation and Uncertainty Analysis Tool Plus). There are four major advantages: (i) Open-source code to general users; (ii) compiled and integrated directly with SWAT+ source code as a single executable; (iii) supported by the SWAT developer group; and, (iv) built with efficient optimization technique. The coupling work between IPEAT+ and SWAT+ is fairly simple, which can be conducted by users with minor efforts. IPEAT+ will be regularly updated with the latest SWAT+ revision. If users would like to integrate IPEAT+ with various versions of SWAT+, only few lines in the SWAT+ source code are required to be updated. IPEAT+ is the first automatic calibration tool integrated with SWAT+ source code. Users can take advantage of the tool to pursue more cutting-edge and forward-thinking scientific questions.

scholarly journals Static Analysis: An Introduction

Queue ◽  
2021 ◽  
Vol 19 (4) ◽  
pp. 29-41
Author(s):  
Patrick Thomson
Keyword(s):  
Computer Science ◽  
Static Analysis ◽  
Source Code ◽  
Theory And Practice ◽  
Analysis Tool ◽  
Linux Kernel ◽  
Analysis Tools ◽  
The Future ◽  
Static Analysis Tool

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

Impact of Clone Refactoring on External Quality Attributes of Open Source Softwares

2018 ◽  
pp. 86-94
Author(s):  
Himanshi Vashisht ◽  
Sanjay Bharadwaj ◽  
Sushma Sharma
Keyword(s):  
Open Source ◽  
Internal Structure ◽  
Software Quality ◽  
Source Code ◽  
Quality Attributes ◽  
Software Component ◽  
External Quality ◽  
Code Refactoring ◽  
Observable Behaviour

Code refactoring is a “Process of restructuring an existing source code.”. It also helps in improving the internal structure of the code without really affecting its external behaviour”. It changes a source code in such a way that it does not alter the external behaviour yet still it improves its internal structure. It is a way to clean up code that minimizes the chances of introducing bugs. Refactoring is a change made to the internal structure of a software component to make it easier to understand and cheaper to modify, without changing the observable behaviour of that software component. Bad smells indicate that there is something wrong in the code that have to refactor. There are different tools that are available to identify and emove these bad smells. A software has two types of quality attributes- Internal and external. In this paper we will study the effect of clone refactoring on software quality attributes.

AN OPEN-SOURCE CODE FOR NUMERICAL SIMULATION OF DRAINAGE BASIN DEVELOPMENT

2017 ◽  
Author(s):  
George H. Shaw ◽  
◽  
Howard D. Mooers ◽  
Josef Smrz ◽  
Zdenek Papez ◽  
...  
Keyword(s):  
Numerical Simulation ◽  
Open Source ◽  
Drainage Basin ◽  
Source Code ◽  
Open Source Code ◽  
Basin Development

scholarly journals PRISMS-Fatigue computational framework for fatigue analysis in polycrystalline metals and alloys

2021 ◽  
Vol 7 (1) ◽  
Author(s):  
Mohammadreza Yaghoobi ◽  
Krzysztof S. Stopka ◽  
Aaditya Lakshmanan ◽  
Veera Sundararaghavan ◽  
John E. Allison ◽  
...  
Keyword(s):  
Open Source ◽  
Open Source Software ◽  
Large Scale ◽  
Metals And Alloys ◽  
Analysis Tool ◽  
Computational Framework ◽  
Crystal Plasticity Finite Element ◽  
Polycrystalline Metals ◽  
Simulation Based ◽  
Open Source Framework

AbstractThe PRISMS-Fatigue open-source framework for simulation-based analysis of microstructural influences on fatigue resistance for polycrystalline metals and alloys is presented here. The framework uses the crystal plasticity finite element method as its microstructure analysis tool and provides a highly efficient, scalable, flexible, and easy-to-use ICME community platform. The PRISMS-Fatigue framework is linked to different open-source software to instantiate microstructures, compute the material response, and assess fatigue indicator parameters. The performance of PRISMS-Fatigue is benchmarked against a similar framework implemented using ABAQUS. Results indicate that the multilevel parallelism scheme of PRISMS-Fatigue is more efficient and scalable than ABAQUS for large-scale fatigue simulations. The performance and flexibility of this framework is demonstrated with various examples that assess the driving force for fatigue crack formation of microstructures with different crystallographic textures, grain morphologies, and grain numbers, and under different multiaxial strain states, strain magnitudes, and boundary conditions.

scholarly journals Use of Dynamic Analysis to Investigate the Behaviour of Short Neutral Sections in the Overhead Line Electrification

2021 ◽  
Vol 6 (5) ◽  
pp. 62
Author(s):  
John Morris ◽  
Mark Robinson ◽  
Roberto Palacin
Keyword(s):  
Dynamic Analysis ◽  
Dynamic Simulation ◽  
Model Simulation ◽  
Analysis Tool ◽  
Overhead Line ◽  
Element Analysis ◽  
Novel Approach ◽  
Section Model ◽  
The Uk ◽  
Neutral Section

The ‘short’ neutral section is a feature of alternating current (AC) railway overhead line electrification that is often unreliable and a source of train delays. However hardly any dynamic analysis of its behaviour has been undertaken. This paper briefly describes the work undertaken investigating the possibility of modelling the behaviour using a novel approach. The potential for thus improving the performance of short neutral sections is evaluated, with particular reference to the UK situation. The analysis fundamentally used dynamic simulation of the pantograph and overhead contact line (OCL) interface, implemented using a proprietary finite element analysis tool. The neutral section model was constructed using physical characteristics and laboratory tests data, and was included in a validated pantograph/OCL simulation model. Simulation output of the neutral section behaviour has been validated satisfactorily against real line test data. Using this method the sensitivity of the neutral section performance in relation to particular parameters of its construction was examined. A limited number of parameter adjustments were studied, seeking potential improvements. One such improvement identified involved the additional inclusion of a lever arm at the trailing end of the neutral section. A novel application of pantograph/OCL dynamic simulation to modelling neutral section behaviour has been shown to be useful in assessing the modification of neutral section parameters.

scholarly journals Open Plot Project: an open-source toolkit for 3-D structural data analysis

Solid Earth ◽  
2011 ◽  
Vol 2 (1) ◽  
pp. 53-63 ◽  
Author(s):  
S. Tavani ◽  
P. Arbues ◽  
M. Snidero ◽  
N. Carrera ◽  
J. A. Muñoz
Keyword(s):  
Spatial Distribution ◽  
Data Analysis ◽  
Open Source ◽  
Open Source Software ◽  
Source Code ◽  
Structural Data ◽  
Geological Modelling ◽  
Analysis Tools ◽  
Transect Analysis ◽  
Selection Of

Abstract. In this work we present the Open Plot Project, an open-source software for structural data analysis, including a 3-D environment. The software includes many classical functionalities of structural data analysis tools, like stereoplot, contouring, tensorial regression, scatterplots, histograms and transect analysis. In addition, efficient filtering tools are present allowing the selection of data according to their attributes, including spatial distribution and orientation. This first alpha release represents a stand-alone toolkit for structural data analysis. The presence of a 3-D environment with digitalising tools allows the integration of structural data with information extracted from georeferenced images to produce structurally validated dip domains. This, coupled with many import/export facilities, allows easy incorporation of structural analyses in workflows for 3-D geological modelling. Accordingly, Open Plot Project also candidates as a structural add-on for 3-D geological modelling software. The software (for both Windows and Linux O.S.), the User Manual, a set of example movies (complementary to the User Manual), and the source code are provided as Supplement. We intend the publication of the source code to set the foundation for free, public software that, hopefully, the structural geologists' community will use, modify, and implement. The creation of additional public controls/tools is strongly encouraged.

Sign in / Sign up

Export Citation Format

Share Document