Filters








14,361 Hits in 6.7 sec

Page 483 of British and Foreign Evangelical Review Vol. 11, Issue 40 [page]

1862 British and Foreign Evangelical Review  
On the great Puritan principle, that nothing is to be introduced into the worship of God which is devoid of positive sanction in Scripture, we find (p. 34) the following important statements :— “ There  ...  is a remarkable statement of Dr Owen’s on this subject, which has been often quoted, bug not more frequently than it de- serves ; it is this—‘ The principle that the church hath power to institute any  ... 

Page 777 of Science Vol. 14, Issue [page]

1901 Science  
as instruction or as statements of fact.  ...  And certainly plenty of true June bugs, green above, all yellow underneath, mingled amicably enough in the flights and hummings of the tumble bugs, black and green.  ... 

Page 397 of Current Opinion Vol. 48, Issue 4 [page]

1910 Current Opinion  
In his description of his insect, Poe’s knowledge of insect anatomy is detailed and sound.  ...  “The only special markings referred to are ‘two jet-black spots near -one extremity of the back and another, somewhat longer, at the other,’ and this statement is repeated later in the tale where the two  ... 

Page 133 of The Westminster Review Vol. 162, Issue 2 [page]

1904 The Westminster Review  
This statement may sound disagreeable, but it is a salutary fact. (2) As the Colonies alrealy govern themse:ves, and do just Von. 162,—No. 2. K ’  ...  They have no call on England to protect them free of charge, and so there is an end of the matter.  ... 

SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis [article]

Mohan Cui, Chengjun Chen, Hui Xu, Yangfan Zhou
2021 arXiv   pre-print
Rust is an emerging programming language that aims to prevent memory-safety bugs. However, the current design of Rust also brings side effects which may increase the risk of memory-safety issues.  ...  In this paper, we study the problem of invalid memory deallocation and propose SafeDrop, a static path-sensitive data-flow analysis approach to detect such bugs.  ...  Specifically, We focus on the following questions: RQ1: Can SafeDrop detect existing CVEs of such memory deallocation bugs? What is the recall rate and how many false positives incurred?  ... 
arXiv:2103.15420v2 fatcat:ohz42rnuxbdg5nm2t5matrtrwi

Practical Integer Overflow Prevention [article]

Paul Muntean, Jens Grossklags, Claudia Eckert
2017 arXiv   pre-print
Specifically, given the source code of a program, IntGuard first discovers the location of an integer overflow error by using static source code analysis and satisfiability modulo theories (SMT) solving  ...  The evaluation results show that IntGuard can precisely (i.e., no false positives are accidentally repaired), with low computational and runtime overhead repair programs with very small binary and source  ...  Second, a series of rules are checked on the AST of the previous C statement such as: (1) is leftHandSide equal/different than rightHandSide, (2) what type of operator do we have in the statement (i.e  ... 
arXiv:1710.03720v9 fatcat:mjtnitnqmbbmlgoswdersm4xju

HIPPODROME: Data Race Repair using Static Analysis Summaries [article]

Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
2021 arXiv   pre-print
The key innovation of our work is an algorithm that translates procedure summaries inferred by the analysis tool for the purpose of bug reporting, into small local patches that fix concurrency bugs (without  ...  State-of-the-art static analyses find hundreds of concurrency bugs in production code, scaling to large codebases.  ...  Authors' addresses: Andreea Costea, National University of Singapore, Singapore, Singapore, andreeac@comp.nus.edu.sg; Abhishek Tiwari, National University of Singapore, Singapore, Singapore, tiwari@comp.nus.edu.sg  ... 
arXiv:2108.02490v2 fatcat:adakau553zas3ohsr2e25w433u

Evaluating and tuning a static analysis to find null pointer bugs

David Hovemeyer, Jaime Spacco, William Pugh
2005 The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05  
In studies of both production software and student projects, we find false positive rates of around 20% or less.  ...  In order to make our analysis both simple and effective, we use a non-standard analysis which is neither complete nor sound.  ...  Finally Blocks A finally block in Java is a region of code associated with a try statement which is guaranteed to be executed no matter how control leaves the try block.  ... 
doi:10.1145/1108792.1108798 dblp:conf/paste/HovemeyerSP05 fatcat:sjrpxfs66fdf3olkeb36pnkskm

Evaluating and tuning a static analysis to find null pointer bugs

David Hovemeyer, Jaime Spacco, William Pugh
2006 Software engineering notes  
In studies of both production software and student projects, we find false positive rates of around 20% or less.  ...  In order to make our analysis both simple and effective, we use a non-standard analysis which is neither complete nor sound.  ...  Finally Blocks A finally block in Java is a region of code associated with a try statement which is guaranteed to be executed no matter how control leaves the try block.  ... 
doi:10.1145/1108768.1108798 fatcat:iuhmqv3pwng5xfllkejbsvgmam

Bugging the Bog: Sonic Warfare, Earwitnessing and Eavesdropping in the Works of Seamus Heaney

Fanny Quément
2019 Miranda: Revue Pluridisciplinaire du Monde Anglophone  
but that it will identify the essential sound patterns of the speaker's voice; it will discover, in the words of the narrative, 'what it is that makes every human voice unique', so that no matter how  ...  The most important of these is an attempt to devise a mechanism to bug a phone, but what is to be special about this particular bugging device is that it will not simply record the voice and the message  ...  ABSTRACTS Although the violence of the Troubles is sometimes directly shown in Seamus Heaney's poetry, it is far more often indirectly suggested by sounds breaking into the domestic space or natural environment  ... 
doi:10.4000/miranda.16353 fatcat:e5exey2a7nei3piwbsw4mx33zq

Effective interprocedural resource leak detection

Emina Torlak, Satish Chandra
2010 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10  
Tracker is an industrial-strength tool that is usable in an interactive setting: it works on millions of lines of code in a matter of minutes and it has a low false positive rate.  ...  We describe the design, implementation and evaluation of Tracker, focusing on the features that make the tool scalable and its output actionable by the user.  ...  We are indebted to Stephen Fink for providing valuable comments on the paper as well as for helping us with the findbugs experiments.  ... 
doi:10.1145/1806799.1806876 dblp:conf/icse/TorlakC10 fatcat:azzxwyhidjar5m7ztfo6xoh5pi

'Bavinck'S Bug' Or 'Van Tilian' Hypochondria? [chapter]

Laurence O'Donnell
2014 Zenodo  
Citation: Laurence O'Donnell, "'Bavinck's Bug' or 'Van Tilian' Hypochondria?: An Analysis of Prof.  ...  Oliphint's Assertion That Cognitive Realism and Reformed Theology Are Incompatible," in For the Healing of the Nations: Essays on Creation, Redemption, and Neo-Calvinism, ed. W.  ...  Finally, this view omits a positive statement regarding the crux of the entire matter-the nature of the relation between human perception, the external world, and the Logos.  ... 
doi:10.5281/zenodo.1462129 fatcat:kniimoo7rffcbein72xvzba3wy

Musical program auralization

Paul Vickers, James L. Alty
2005 ACM Transactions on Applied Perception  
The results indicate that, in certain circumstances, musical auralisations can be used to help locate bugs in programs and that musical skill does not affect the ability to make use of the auralisations  ...  The experiment aimed to determine whether auralisations would lead to higher bug detection rates.  ...  Further, within the statement block (and before the closing point of interest is sounded) we would anticipate hearing other statements (either simple statements represented by a single percussive sound  ... 
doi:10.1145/1101530.1101546 fatcat:vjzjl6jl3jfnlicloovbnlm5jm

Common Bugs in Scratch Programs

Christoph Frädrich, Florian Obermüller, Nina Körber, Ute Heuer, Gordon Fraser
2020 Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education  
While fixing bugs inevitably is part of learning, the possibility to identify the bugs automatically provides the potential to support learners  ...  Bugs in Scratch programs can spoil the fun and inhibit learning success. Many common bugs are the result of recurring patterns of bad code.  ...  ACKNOWLEDGEMENTS This work is supported by DFG project FR 2955/3-1 "Testing, Debugging, and Repairing Blocks-based Programs".  ... 
doi:10.1145/3341525.3387389 dblp:conf/iticse/FradrichOKHF20 fatcat:4cw3xis72je2jnrzkmpc3firyq

How to Build Static Checking Systems Using Orders of Magnitude Less Code

Fraser Brown, Andres Nötzli, Dawson Engler
2016 SIGARCH Computer Architecture News  
As a result, our implementation is tiny-roughly 2500 lines of code, about two orders of magnitude smaller than a typical system.  ...  Modern static bug finding tools are complex. They typically consist of hundreds of thousands of lines of code, and most of them are wedded to one language (or even one compiler).  ...  This research is supported by DARPA Subcontract No. 1190029-276707.  ... 
doi:10.1145/2980024.2872364 fatcat:xswaceb5jbduljje2f47onaqh4
« Previous Showing results 1 — 15 out of 14,361 results