Results 1 - 10 of 144

Eliminating Stack Overflow by Abstract Interpretation

by John Regehr, Alastair Reid, Kirk Webb - ACM Trans. Embed. Comput. Syst
"... Abstract. An important correctness criterion for software running on embedded microcontrollers is stack safety: a guarantee that the call stack does not overflow. We address two aspects of the problem of creating stack-safe embedded software that also makes efficient use of memory: statically boundi ..."
Abstract - Cited by 61 (10 self) - Add to MetaCart
Abstract. An important correctness criterion for software running on embedded microcontrollers is stack safety: a guarantee that the call stack does not overflow. We address two aspects of the problem of creating stack-safe embedded software that also makes efficient use of memory: statically

Harnessing Stack Overflow for the IDE

by Alberto Bacchelli, Luca Ponzanelli, Michele Lanza - In RSSE, IEEE , 2012
"... Abstract—Developers often consult online tutorials and mes-sage boards to find solutions to their programming issues. Among the many online resources, Question & Answer websites are gaining popularity. This is no wonder if we consider a case like Stack Overflow, where more than 92 % questions on ..."
Abstract - Cited by 9 (2 self) - Add to MetaCart
on Seahawk: It allows users to (1) retrieve Q&A from Stack Overflow, (2) link relevant discussions to any source code in Eclipse, and (3) attach explanative comments to the links. Keywords-Q&A websites, Stack Overflow, Seahawk I.

Seahawk: Stack Overflow in the IDE

by Luca Ponzanelli, Alberto Bacchelli, Michele Lanza
"... Abstract—Services, such as Stack Overflow, offer a web plat-form to programmers for discussing technical issues, in form of Question and Answers (Q&A). Since Q&A services store the discussions, the generated “crowd knowledge ” can be accessed and consumed by a large audience for a long time. ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
, lets users import code samples in discussions through drag & drop and link Stack Overflow discussions and source code persistently as a support for team work.

On the effectiveness of address-space randomization

by Hovav Shacham, Matthew Page, Ben Pfaff, Eu-jin Goh, Nagendra Modadugu, Dan Boneh - IN CCS ’04: PROCEEDINGS OF THE 11TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY , 2004
"... Address-space randomization is a technique used to fortify systems against buffer overflow attacks. The idea is to introduce artificial diversity by randomizing the memory location of certain system components. This mechanism is available for both Linux (via PaX ASLR) and OpenBSD. We study the effec ..."
Abstract - Cited by 250 (6 self) - Add to MetaCart
systems protected by address-space randomization. The resulting exploit is as effective as the original, albeit somewhat slower: on average 216 seconds to compromise Apache running on a Linux PaX ASLR system. The attack does not require running code on the stack. We also explore various ways

A Binary Rewriting Defense against Stack Based Overflow attacks

by Manish Prasad, Tzi-cker Chiueh - In Proceedings of the USENIX Annual Technical Conference , 2003
"... Buffer overflow attack is the most common and arguably the most dangerous attack method used in Internet security breach incidents reported in the public literature. Various solutions have been developed to address the buffer overflow vulnerability problem in both research and commercial communities ..."
Abstract - Cited by 65 (1 self) - Add to MetaCart
communities. Almost all the solutions that provide adequate protection against buffer overflow attacks are implemented as compiler extensions and hence require the source code of the programs being protected to be available so that they can be re-compiled. While this requirement is reasonable in many cases

Why, When, and What: Analyzing Stack Overflow Questions by Topic, Type, and Code

by Miltiadis Allamanis, Charles Sutton
"... Abstract—Questions from Stack Overflow provide a unique opportunity to gain insight into what programming concepts are the most confusing. We present a topic modeling analysis that combines question concepts, types, and code. Using topic modeling, we are able to associate programming concepts and id ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract—Questions from Stack Overflow provide a unique opportunity to gain insight into what programming concepts are the most confusing. We present a topic modeling analysis that combines question concepts, types, and code. Using topic modeling, we are able to associate programming concepts

Testing static analysis tools using exploitable buffer overflows from open source code

by Misha Zitser, D. E. Shaw Group, Tim Leek - SIGSOFT Softw. Eng. Notes
"... Five modern static analysis tools (ARCHER, BOON, Poly-Space C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnerabilities found in various versions of Sendmail, BIND, and WU-FTPD. Each code example included a “BAD” case with and a “O ..."
Abstract - Cited by 96 (4 self) - Add to MetaCart
Five modern static analysis tools (ARCHER, BOON, Poly-Space C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnerabilities found in various versions of Sendmail, BIND, and WU-FTPD. Each code example included a “BAD” case with and a

“A bit of code”: How the Stack Overflow Community Creates Quality Postings

by Megan Squire, Christian Funkhouser
"... ..."
Abstract - Add to MetaCart
Abstract not found

StackOverflow and GitHub: Associations between software development and crowdsourced knowledge

by Bogdan Vasilescu, Vladimir Filkov, Alexander Serebrenik - In Proc. ASE SocialCom, IEEE , 2013
"... Abstract—StackOverflow is a popular on-line programming question and answer community providing its participants with rapid access to knowledge and expertise of their peers, especially benefitting coders. Despite the popularity of StackOverflow, its role in the work cycle of open-source developers i ..."
Abstract - Cited by 23 (8 self) - Add to MetaCart
also possibly slow down the development process. In this paper we investigate the interplay between Stack-Overflow activities and the development process, reflected by code changes committed to the largest social coding repository, GitHub. Our study shows that active GitHub committers ask fewer

Multi-Factor Duplicate Question Detection in Stack Over

by Yun Zhang 张 芸, David Lo , 2014
"... Abstract Stack Overflow is a popular on-line question and answer site for software developers to share their experience and expertise. Among the numerous questions posted in Stack Overflow, two or more of them may express the same point and thus are duplicates of one another. Duplicate questions mak ..."
Abstract - Add to MetaCart
Abstract Stack Overflow is a popular on-line question and answer site for software developers to share their experience and expertise. Among the numerous questions posted in Stack Overflow, two or more of them may express the same point and thus are duplicates of one another. Duplicate questions
Results 1 - 10 of 144