From dc14b1433ea00781c455a8725dbe1ae15106767d Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sun, 29 Oct 2023 08:31:18 -0700
Subject: [PATCH] Copy bib entries from local

---
 generals.bib | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generals.bib b/generals.bib
index bbc2ad9..467388e 100644
--- a/generals.bib
+++ b/generals.bib
@@ -247,6 +247,7 @@ @InProceedings{PLDI90*272
 }
 
 
+
 @InProceedings{HackettDWY2006,
   author = 	 "Hackett, Brian and Das, Manuvir and Wang, Daniel and Yang, Zhe",
   title = 	 "Modular checking for buffer overflows in the large",
@@ -962,7 +963,7 @@ @InProceedings{ArthoB
   title = 	 "Combined static and dynamic analysis",
   booktitle =	 "1st International Workshop on
                   Abstract Interpretation of Object-Oriented Languages",
-  NEEDpages = 	 "",
+  NEEDpages = 	 "*",
   year =	 2005,
   address =	 "Paris, France",
   month =	 jan # "~21,",