Search
12 articles for “Static Analysis Tools”
-
Smart Contract: A new buzz word for reliable decentralized network
Abstract: Blockchain technology has emerged as a foundational distributed-ledger architecture enabling decentralized, transparent, and tamper-resistant data management across diverse digital ecosystems. This paper presents an integrated review of blockchain fundamentals, consensus mechanisms, smart contract design, and real-world applications beyond cryptocurrencies. It discusses the evolution of smart contracts as automated, self-executing programs that remove intermediaries and ensure deterministic execution, while highlighting critical security vulnerabilities such as reentrancy, arithmetic overflows, and improper access …
Published in Journal of Open Source Developments · Vol. 13, Issue 1, 2026 Read article
-
An Automated Smart Contract Repair Framework for Reentrancy, Integer Overflow, and Denial- of-Service Vulnerabilities
Abstract: This paper introduces a novel static analysis framework designed to bridge a long-standing gap in Ethereum smart contract security: the disconnect between vulnerability detection and automated remediation. Although widely adopted tools such as Slither and Oyente are highly effective at identifying security weaknesses, they stop short of providing actionable fixes. As a result, developers manually patch vulnerabilities, a process that is not only time-consuming but also susceptible to human error …
Published in Journal of Computer Technology & Applications · Vol. 17, Issue 1, 2026 · pp. 31–41 Read article
-
Triple-Threat Analysis: Measuring Mythril, Slither and Oyente Against Real-World Smart Contract Vulnerabilities
Abstract: Smart contracts have become fundamental building blocks of blockchain ecosystems, yet their immutable nature makes security vulnerabilities particularly devastating. This pa- per presents a comprehensive evaluation of three prominent static analysis tools—Mythril, Slither, and Oyente—for detecting vulnerabilities in Ethereum smart contracts. Through systematic experimentation with real-world contract categories (voting sys- tems, land registries, and crowdfunding platforms), we quantify the effectiveness of each tool across eight critical vulnerability types, including reentrancy, …
Published in Journal of Artificial Intelligence Research & Advances · Vol. 13, Issue 1, 2025 Read article
-
Secure Coding Practices for Enhancing the Art of Ethical Hacking: A Comprehensive Study
Abstract: In the quickly developing scene of network safety, secure coding, and moral hacking are essential for strengthening computerized environments. Secure coding systems and moral hacking are linked to digital strength. This study examines the relationship between secure coding and moral hacking, emphasizing the importance of a hierarchical culture that focuses on secure coding standards. Attention to detail in software development can protect against malicious exploits. Security considerations are integrated throughout …
Published in International Journal of Wireless Security and Networks · Vol. 2, Issue 1, 2024 · pp. 21–29 Read article
-
RTL to GDSII Implementation UART using Verilog and Cadence tools
Abstract: The paper outlines a thorough design flow for Universal Asynchronous Receiver and Transmitter (UART) utilizing Register Transfer Level (RTL) to Graphic Data System II (GDS II) Implementation using Verilog and Cadence tools. The process involves RTL design, logic synthesis with Genus and physical design using Innovus, followed by verification steps including formal verification, static timing analysis and power optimization. The results demonstrate an efficient workflow, highlighting the effectiveness of Cadence’s …
Published in Journal of VLSI Design Tools and Technology · Vol. 15, Issue 1, 2025 · pp. 1–7 Read article
-
Conceptual Design and Static Model Analysis of Landing Gear
Abstract: An aircraft's landing gear system plays a critical role in effectively managing and dissipating kinetic energy generated during the landing impact, as well as mitigating vibrations induced by the aircraft's passage over irregular runway surfaces. This capability is indispensable for the proper functioning of a well-designed landing system. Among the various types of shock absorber landing gear systems employed in aircraft, the oleo-pneumatic shock absorber stands out as the most …
Published in Journal of Polymer & Composites · Vol. 11, Issue 8, 2023 · pp. 145–163 Read article
-
Analysis aspects of pressure tank: A review
Abstract: This review paper presents a detailed analysis of pressure vessels, focusing on finite element analysis (FEA) to evaluate structural integrity. Pressure vessels are widely used in industries such as chemical processing, power plants, and oil refineries, where they are subjected to extreme temperature and pressure conditions. Ensuring their safe and efficient operation requires a thorough understanding of stress distribution, deformation characteristics, and failure mechanisms. This study reviews existing research on …
Published in Journal of Materials & Metallurgical Engineering · Vol. 15, Issue 3, 2025 · pp. 49–55 Read article
-
The Quicklift: Redefining Car Jack Dynamics & Design
Abstract: A Jack is a tool that aids in raising the vehicles without considerable physical efforts and thereby reducing strain injuries. This paper is about designed model of Jack and performing the static analysis (viz:structural) with the help of Solid works software. The outcomes obtained demonstrates that jack can be used safely. Additional improvements to be made in the jack is by modifying the vertical cylindrical bar so that it can …
Published in Trends in Machine design · Vol. 13, Issue 1, 2026 · pp. 86–92 Read article
-
Multimedia Technology in Healthcare: A Study
Abstract: The integration of multimedia technology is fundamentally transforming medical and surgical planning, moving beyond traditional methods to offer enhanced visualization, collaboration, and precision. This article explores the diverse applications of multimedia, including advanced imaging techniques, interactive simulations, and augmented/virtual reality, in optimizing pre-operative strategies, improving surgical outcomes, and enhancing medical education. By providing comprehensive overview, this analysis highlights the potential of multimedia technology to revolutionize the future of healthcare. For …
Published in Journal of Multimedia Technology & Recent Advancements · Vol. 12, Issue 1, 2025 · pp. 23–29 Read article
-
Next-Gen Techniques for Bottleneck Detection in High-Performance Computing
Abstract: Modern computing systems face new challenges in bottleneck detection and mitigation due to their increasing complexity which stems from multi-core architectures alongside distributed platforms and real-time processing needs. Traditional methods like hardware profiling and static analysis which used to work well now struggle to keep up with the changing conditions of dynamic system behaviors and diverse computing environments along with variable workload patterns. The current limitations restrict their capability to …
Published in Recent Trends in Parallel Computing · Vol. 12, Issue 2, 2025 · pp. 09–14 Read article
-
Fundamental Principles of Fluid Behavior and Emerging Trends in Modern Fluid Mechanics Research
Abstract: Fluid behavior forms the foundation of numerous engineering technology and scientific applications, including aerospace flows, energy systems, and environmental processes. This paper presents a comprehensive overview of the fundamental principles governing fluid behavior, with a strong emphasis on their relevance to recent trends in fluid mechanic’s research. Core concepts such as fluid statics, fluid dynamics, and conservation laws are discussed to establish a solid theoretical framework. The study further examines …
Published in Recent Trends in Fluid Mechanics · Vol. 13, Issue 1, 2026 · pp. 14–21 Read article
-
Exploring the Studies of Mathematics: Foundations, Evolution, Pedagogy and Prospects
Abstract: Mathematics, often regarded as the universal language of science and logic, has evolved through centuries as both a tool for understanding the natural world and a discipline of abstract reasoning. This study explores the multifaceted dimensions of mathematics by examining its foundations, historical evolution, pedagogical approaches, and future prospects. The foundational aspects trace back to ancient civilizations—Babylonian arithmetic, Greek geometry, and Indian and Arabic contributions to algebra— highlighting how early …
Published in Recent Trends in Mathematics · Vol. 2, Issue 2, 2025 · pp. 25–31 Read article