Filters








13,208 Hits in 5.9 sec

SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries

Zhezhe Chen, Xinyu Li, Jau-Yuan Chen, Hua Zhong, Feng Qin
2012 2012 IEEE 26th International Parallel and Distributed Processing Symposium  
If not, SyncChecker reports the error with diagnostic information. To reduce runtime overhead, we propose three dynamic optimizations.  ...  This paper presents a new method called SyncChecker to detect synchronization errors in MPI nonblocking communication.  ...  We appreciate useful discussion with Yang Zhang, Mai Zheng, and Dachuan Huang.  ... 
doi:10.1109/ipdps.2012.40 dblp:conf/ipps/ChenLCZQ12 fatcat:po45ukbaazd77fojg6cwnk6cbm

CETS

Santosh Nagarakatte, Jianzhou Zhao, Milo M.K. Martin, Steve Zdancewic
2010 Proceedings of the 2010 international symposium on Memory management - ISMM '10  
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C.  ...  When combined with a spatial-checking system, the average overall overhead is 116% for complete memory safety.  ...  Source-level instrumentation. A third option is source-level transformation to insert runtime checks (e.g., [5, 23, 30] ).  ... 
doi:10.1145/1806651.1806657 dblp:conf/iwmm/NagarakatteZMZ10 fatcat:qwbysc435jfzjeww2blgv6u7vq

Runtime Detection of Temporal Memory Errors [chapter]

Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson
2017 Lecture Notes in Computer Science  
Experimentation with E-ACSL using TempLIST benchmark comprising small C programs seeded with temporal errors shows that the suggested technique detects temporal memory errors missed by state-of-the-art  ...  These tools, however, cannot always detect errors arising from the use of stale pointers to valid memory (temporal memory errors).  ...  MemCheck [22] , a memory debugger built atop the Valgrind instrumentation platform [16, 17] , uses dynamic binary instrumentation (DBI) to instrument a program at runtime and track heap memory with bit-level  ... 
doi:10.1007/978-3-319-67531-2_18 fatcat:ejxtwk72qrgu3k52m3em3nzpqu

Dynamic Analysis of ARINC 653 RTOS with LLVM [article]

Vitaly Cheptsov, Alexey Khoroshilov
2021 arXiv   pre-print
We bring a complete LLVM stack support to JetOS, a prospective onboard real-time operating system currently being developed at ISP RAS in collaboration with GosNIIAS.  ...  Dynamic instrumentation and static analysis are common practices used to automatically find software defects, from strictly non-conforming code constructions to memory corruptions or invalid control flow  ...  at runtime.  ... 
arXiv:2106.01766v1 fatcat:57riyknta5chxp667plmfskcvm

Using Static Analysis to Reduce Dynamic Analysis Overhead

Suan Hsi Yong, Susan Horwitz
2005 Formal methods in system design  
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as preventing harm from being caused by malicious  ...  One problem with this approach is the runtime overhead introduced by the instrumentation.  ...  Purify [8] is a commercial product that has proven to be successful in detecting buffer overruns, memory leaks, and other errors at runtime.  ... 
doi:10.1007/s10703-005-3401-0 fatcat:d4smabofcbd6nhrsmh5xacil7m

Protecting C programs from attacks via invalid pointer dereferences

Suan Hsi Yong, Susan Horwitz
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
Dynamic checks are then inserted; if at runtime the target of an unsafe dereference is not in the legitimate set, a potential security violation is reported, and the program is halted.  ...  Some are limited to protecting the return address only; others are more general, but have undesirable properties such as having a high runtime overhead, requiring manual changes to the source code, or  ...  We thank George Necula for help with CCured, and the anonymous reviewers for their useful suggestions.  ... 
doi:10.1145/940071.940113 dblp:conf/sigsoft/YongH03 fatcat:qlzir2on3nbdtmxsf4ntssvlci

ACC_TEST: Hybrid Testing Approach for OpenACC Based Programs

Fathy E. Eassa, Ahmed M. Alghamdi, Seif Haridi, Maher A. Khemakhem, Abdullah S. Al-Ghamdi, Eesa A. Alsolmai
2020 IEEE Access  
If so, it will be challenging to detect their runtime errors as well as their causes, whether the error is from the user source code or from the programming model directives.  ...  In this paper, we enhance ACC_TEST with the ability to test OpenACC-based programs and detect runtime errors by using hybrid-testing techniques that enhance error coverage occurring in OpenACC as well  ...  Our dynamic approach will use the annotation from our static approach to instrument the insertion statements in the user source code, and our dynamic approach will detect these errors during runtime.  ... 
doi:10.1109/access.2020.2991009 fatcat:cfb3qehqenazpicqfljmwafuju

Reducing the Overhead of Dynamic Analysis1 1This work was supported in part by the National Science Foundation under grants CCR-9970707 and CCR-9987435

Suan Hsi Yong, Susan Horwitz
2002 Electronical Notes in Theoretical Computer Science  
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means to prevent harm being  ...  One problem with this approach is the runtime overhead introduced by the instrumentation.  ...  Purify [7] and Insure++ [14] are two commercial products that have proven to be successful in detecting many classes of memory errors at runtime.  ... 
doi:10.1016/s1571-0661(04)80583-8 fatcat:esxfzp5qj5g5bjdzb6mmxtrbdi

Defending against Buffer-Overflow Vulnerabilities

Bindu Padmanabhuni, Hee Beng Kuan Tan
2011 Computer  
Exterminator is a runtime system for detecting, isolating, and correcting heap-based memory errors. 9 Each object has metadata, which Exterminator uses for error isolation and detection before memory  ...  Valgrind is useful for memory leak detection, memory debugging, program profiling, and thread error detection.  ... 
doi:10.1109/mc.2011.229 fatcat:6ntjeve76nfm5dpvrdrastrcae

Cudagrind: A Valgrind Extension for CUDA [article]

Thomas M. Baumann, Jose Gracia
2013 arXiv   pre-print
This allows the detection of memory leaks and checking the validity of accesses.  ...  The combination of these wrappers together with the Valgrind tool Memcheck is being called Cudagrind.  ...  In this case cuda-memcheck manages to detect location of the error and reports the internal error number reported by the CUDA runtime.  ... 
arXiv:1310.0901v1 fatcat:brygq24avrf4nhxz6wlzbm762u

AHEMS: Asynchronous Hardware-Enforced Memory Safety

Kuan-Yu Tseng, Dao Lu, Zbigniew Kalbarczyk, Ravishankar Iyer
2014 2014 17th Euromicro Conference on Digital System Design  
We integrated AHEMS with the Leon3 open-source processor and prototype on an FPGA.  ...  In an evaluation of the detection coverage using 677 security test cases (including spatial and temporal memory errors), selected from the Juliet Test Suite, AHEMS detected all but one memory safety violation  ...  Source Code Instrumentation A program source code is instrumented with alloc(), dealloc(), and subcreate() functions using the CIL source-to-source compiler [26] .  ... 
doi:10.1109/dsd.2014.79 dblp:conf/dsd/TsengLKI14 fatcat:uagx7bgpw5fylafzdkun4vdwia

Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs

Ahmed Mohammed Alghamdi, Fathy Elbouraey Eassa, Maher Ali Khamakhem, Abdullah Saad AL-Malaise AL-Ghamdi, Ahmed S. Alfakeeh, Abdullah S. Alshahrani, Ala A. Alarood
2020 Symmetry  
Testing techniques are required to detect these errors, especially runtime errors resulting from the integration of MPI and OpenACC; studying their behavior is also important, especially some OpenACC runtime  ...  Finally, ACC_TEST is a parallel testing tool that creates testing threads based on the number of application threads for detecting runtime errors.  ...  Our tool also achieves covering range of errors with execution overhead in an acceptable level, which is less than 20%.  ... 
doi:10.3390/sym12091555 doaj:357eb376d21d4cdabd7ec942dd5230ee fatcat:s43om3wibrbhba2u5f5xmc2z3y

Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability

Roshan G. Ragel, Sri Parameswaran
2006 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis - CODES+ISSS '06  
The overheads are compared with the state of the art approach that performs t he same error coverage using software-only techniques.  ...  In contrast, the state of the art softwareonly approach required 50-150% additional code, and reduced performance by 53.5-99.5% when error detection was inserted.  ...  Software error detection scheme uses software routines to check proper control flow at runtime. The routines are inserted into the application at assembly level or at a higher level.  ... 
doi:10.1145/1176254.1176280 dblp:conf/codes/RagelP06 fatcat:7egq7itj4bez3kw6ymeepuylbm

Software verification for TinyOS

Doina Bucur, Marta Z. Kwiatkowska
2010 Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks - IPSN '10  
While existing solutions act at runtime to log, report and reboot from software errors such as memory violations, our tool is the first to allow the programmer to verify a TinyOS application statically  ...  Ensuring the reliability of the software deployed on networked wireless sensors is a difficult problem: unsafe, low-level, interrupt-driven code runs without memory protection in dynamic environments.  ...  [5] ; A second, includ-ing the present work, aims at error detection at compiletime; The third parts with the well-used, existing sensor languages and operating systems, and develops new high-level, strongly  ... 
doi:10.1145/1791212.1791274 dblp:conf/ipsn/BucurK10 fatcat:bojkd57aqjcz7jp4fh2u4bfkti

WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions

Ding Ye, Yu Su, Yulei Sui, Jingling Xue
2014 2014 IEEE 25th International Symposium on Software Reliability Engineering  
Presently, the software industry typically enforces spatial memory safety by instrumentation.  ...  Due to high overheads incurred in bounds checking at runtime, many program inputs cannot be exercised, causing some input-specific spatial errors to go undetected in today's commercial software.  ...  Detecting spatial errors at runtime via instrumentation is conceptually simple but can be computationally costly.  ... 
doi:10.1109/issre.2014.20 dblp:conf/issre/YeSSX14 fatcat:y5lyrgoof5ae3mzimkn5m7ow4a
« Previous Showing results 1 — 15 out of 13,208 results