Skip to content

Commit 99d2bcf

Browse files
sujin0529sujin0529
committed
update
1 parent ba566f1 commit 99d2bcf

File tree

11 files changed

+13
-1252
lines changed

11 files changed

+13
-1252
lines changed

‎content/posts/2024-bug-release copy.md‎

Lines changed: 0 additions & 34 deletions
This file was deleted.

‎docs/img/overview.png‎

33 KB
Loading

‎docs/index.html‎

Lines changed: 6 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -132,6 +132,12 @@ <h1>UnitCon</h1>
132132
<div class="entry-content">
133133
Synthesizing Targeted Unit Tests for Java Runtime Exceptions
134134
</div>
135+
<div class="entry-content">
136+
<h1>Overview of UnitCon</h1>
137+
<a href="posts/overview">
138+
<img src="img/overview.png" />
139+
</a>
140+
</div>
135141
<div class="entry-content">
136142
<style>
137143
.container {
@@ -269,20 +275,6 @@ <h2 class="entry-hint-parent">Overview
269275
<a class="entry-link" aria-label="post link to Overview" href="https://prosys.kaist.ac.kr/unitcon/posts/overview/"></a>
270276
</article>
271277

272-
<article class="post-entry">
273-
<header class="entry-header">
274-
<h2 class="entry-hint-parent">We reported 21 Null Pointer Exception bugs in 2024
275-
</h2>
276-
</header>
277-
<div class="entry-content">
278-
<p>We experimented to find Null Pointer Exception bugs in 51 popular libraries, and reported 21 bugs to the maintainers of each library.
279-
Of these, 15 reports have been patched, 4 reports are still open, and 2 reports were rejected. The table below lists the reported bugs.
280-
Project Report Status Activiti Issue 4553 OpenApache Commons BCEL Issue 289 OpenApache Commons Configuration Issue 355 PatchedApache Commons Configuration Issue 365 PatchedApache Commons Configuration Issue 368 PatchedApache Commons Configuration Issue 381 PatchedApache Commons Configuration Issue 382 RejectedApache Commons DBCP Issue 352 PatchedApache Commons IO Issue 569 RejectedApache Commons Math Issue 236 OpenApache Johnzon Issue 117 PatchedApache Johnzon Issue 123 PatchedApache Karaf Issue 1825 PatchedApache Karaf Issue 1826 PatchedApache PDFBox Issue 178 PatchedApache TsFile Issue 50 OpenFeign Issue 2304 PatchedJSqlParser Issue 1965 PatchedKubernetes Java Client Issue 3081 PatchedNutz Issue 1613 OpenOpenGrok Issue 4542 Patched</p>
281-
</div>
282-
<footer class="entry-footer"><span title='2024-09-12 00:00:00 +0000 UTC'>September 12, 2024</span></footer>
283-
<a class="entry-link" aria-label="post link to We reported 21 Null Pointer Exception bugs in 2024" href="https://prosys.kaist.ac.kr/unitcon/posts/2024-bug-release-copy/"></a>
284-
</article>
285-
286278
<article class="post-entry">
287279
<header class="entry-header">
288280
<h2 class="entry-hint-parent">We reported 21 Null Pointer Exception bugs in 2024 (Open)

‎docs/index.xml‎

Lines changed: 0 additions & 189 deletions
Original file line numberDiff line numberDiff line change
@@ -20,195 +20,6 @@
2020
&lt;p&gt;For the given target program location. UnitCon first the error entry methods using the call graph derived by the static analyzer. Then UnitCon generates an initial set of partial test cases each of which calls an error entry methods. Such partial test cases are written in a domain-specific language that we designed for the synthesis.&lt;/p&gt;
2121
&lt;h2 id=&#34;2-enumeration&#34;&gt;2. Enumeration&lt;/h2&gt;
2222
&lt;p&gt;Given a set of partial test cases, UnitCon enumerates new partial unit tests by expanding the placeholders.&lt;/p&gt;</description>
23-
</item>
24-
<item>
25-
<title>We reported 21 Null Pointer Exception bugs in 2024</title>
26-
<link>https://prosys.kaist.ac.kr/unitcon/posts/2024-bug-release-copy/</link>
27-
<pubDate>Thu, 12 Sep 2024 00:00:00 +0000</pubDate>
28-
<guid>https://prosys.kaist.ac.kr/unitcon/posts/2024-bug-release-copy/</guid>
29-
<description>&lt;p&gt;We experimented to find Null Pointer Exception bugs in 51 popular libraries,
30-
and reported 21 bugs to the maintainers of each library.&lt;/p&gt;
31-
&lt;p&gt;Of these, &lt;strong&gt;15&lt;/strong&gt; reports have been patched, &lt;strong&gt;4&lt;/strong&gt; reports are still open, and &lt;strong&gt;2&lt;/strong&gt; reports were rejected.
32-
The table below lists the reported bugs.&lt;/p&gt;
33-
&lt;table&gt;
34-
&lt;thead&gt;
35-
&lt;tr&gt;
36-
&lt;th&gt;Project&lt;/th&gt;
37-
&lt;th&gt;Report&lt;/th&gt;
38-
&lt;th&gt;Status&lt;/th&gt;
39-
&lt;/tr&gt;
40-
&lt;/thead&gt;
41-
&lt;tbody&gt;
42-
&lt;tr&gt;
43-
&lt;td&gt;Activiti&lt;/td&gt;
44-
&lt;td&gt;&lt;a href=&#34;https://github.com/Activiti/Activiti/issues/4553&#34;&gt;Issue 4553&lt;/a&gt;&lt;/td&gt;
45-
&lt;td&gt;
46-
47-
&lt;span style=&#34;color:#B0A695; font-weight: bold&#34;&gt;Open&lt;/span&gt;
48-
&lt;/td&gt;
49-
&lt;/tr&gt;
50-
&lt;tr&gt;
51-
&lt;td&gt;Apache Commons BCEL&lt;/td&gt;
52-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/commons-bcel/pull/289&#34;&gt;Issue 289&lt;/a&gt;&lt;/td&gt;
53-
&lt;td&gt;
54-
55-
&lt;span style=&#34;color:#B0A695; font-weight: bold&#34;&gt;Open&lt;/span&gt;
56-
&lt;/td&gt;
57-
&lt;/tr&gt;
58-
&lt;tr&gt;
59-
&lt;td&gt;Apache Commons Configuration&lt;/td&gt;
60-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/commons-configuration/pull/355&#34;&gt;Issue 355&lt;/a&gt;&lt;/td&gt;
61-
&lt;td&gt;
62-
63-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
64-
&lt;/td&gt;
65-
&lt;/tr&gt;
66-
&lt;tr&gt;
67-
&lt;td&gt;Apache Commons Configuration&lt;/td&gt;
68-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/commons-configuration/pull/365&#34;&gt;Issue 365&lt;/a&gt;&lt;/td&gt;
69-
&lt;td&gt;
70-
71-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
72-
&lt;/td&gt;
73-
&lt;/tr&gt;
74-
&lt;tr&gt;
75-
&lt;td&gt;Apache Commons Configuration&lt;/td&gt;
76-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/commons-configuration/pull/368&#34;&gt;Issue 368&lt;/a&gt;&lt;/td&gt;
77-
&lt;td&gt;
78-
79-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
80-
&lt;/td&gt;
81-
&lt;/tr&gt;
82-
&lt;tr&gt;
83-
&lt;td&gt;Apache Commons Configuration&lt;/td&gt;
84-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/commons-configuration/pull/381&#34;&gt;Issue 381&lt;/a&gt;&lt;/td&gt;
85-
&lt;td&gt;
86-
87-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
88-
&lt;/td&gt;
89-
&lt;/tr&gt;
90-
&lt;tr&gt;
91-
&lt;td&gt;Apache Commons Configuration&lt;/td&gt;
92-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/commons-configuration/pull/382&#34;&gt;Issue 382&lt;/a&gt;&lt;/td&gt;
93-
&lt;td&gt;
94-
95-
&lt;span style=&#34;color:#D4C9BE; font-weight: bold&#34;&gt;Rejected&lt;/span&gt;
96-
&lt;/td&gt;
97-
&lt;/tr&gt;
98-
&lt;tr&gt;
99-
&lt;td&gt;Apache Commons DBCP&lt;/td&gt;
100-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/commons-dbcp/pull/352&#34;&gt;Issue 352&lt;/a&gt;&lt;/td&gt;
101-
&lt;td&gt;
102-
103-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
104-
&lt;/td&gt;
105-
&lt;/tr&gt;
106-
&lt;tr&gt;
107-
&lt;td&gt;Apache Commons IO&lt;/td&gt;
108-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/commons-io/pull/569&#34;&gt;Issue 569&lt;/a&gt;&lt;/td&gt;
109-
&lt;td&gt;
110-
111-
&lt;span style=&#34;color:#D4C9BE; font-weight: bold&#34;&gt;Rejected&lt;/span&gt;
112-
&lt;/td&gt;
113-
&lt;/tr&gt;
114-
&lt;tr&gt;
115-
&lt;td&gt;Apache Commons Math&lt;/td&gt;
116-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/commons-math/pull/236&#34;&gt;Issue 236&lt;/a&gt;&lt;/td&gt;
117-
&lt;td&gt;
118-
119-
&lt;span style=&#34;color:#B0A695; font-weight: bold&#34;&gt;Open&lt;/span&gt;
120-
&lt;/td&gt;
121-
&lt;/tr&gt;
122-
&lt;tr&gt;
123-
&lt;td&gt;Apache Johnzon&lt;/td&gt;
124-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/johnzon/pull/117&#34;&gt;Issue 117&lt;/a&gt;&lt;/td&gt;
125-
&lt;td&gt;
126-
127-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
128-
&lt;/td&gt;
129-
&lt;/tr&gt;
130-
&lt;tr&gt;
131-
&lt;td&gt;Apache Johnzon&lt;/td&gt;
132-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/johnzon/pull/123&#34;&gt;Issue 123&lt;/a&gt;&lt;/td&gt;
133-
&lt;td&gt;
134-
135-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
136-
&lt;/td&gt;
137-
&lt;/tr&gt;
138-
&lt;tr&gt;
139-
&lt;td&gt;Apache Karaf&lt;/td&gt;
140-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/karaf/pull/1825&#34;&gt;Issue 1825&lt;/a&gt;&lt;/td&gt;
141-
&lt;td&gt;
142-
143-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
144-
&lt;/td&gt;
145-
&lt;/tr&gt;
146-
&lt;tr&gt;
147-
&lt;td&gt;Apache Karaf&lt;/td&gt;
148-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/karaf/pull/1826&#34;&gt;Issue 1826&lt;/a&gt;&lt;/td&gt;
149-
&lt;td&gt;
150-
151-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
152-
&lt;/td&gt;
153-
&lt;/tr&gt;
154-
&lt;tr&gt;
155-
&lt;td&gt;Apache PDFBox&lt;/td&gt;
156-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/pdfbox/pull/178&#34;&gt;Issue 178&lt;/a&gt;&lt;/td&gt;
157-
&lt;td&gt;
158-
159-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
160-
&lt;/td&gt;
161-
&lt;/tr&gt;
162-
&lt;tr&gt;
163-
&lt;td&gt;Apache TsFile&lt;/td&gt;
164-
&lt;td&gt;&lt;a href=&#34;https://github.com/apache/tsfile/pull/50&#34;&gt;Issue 50&lt;/a&gt;&lt;/td&gt;
165-
&lt;td&gt;
166-
167-
&lt;span style=&#34;color:#B0A695; font-weight: bold&#34;&gt;Open&lt;/span&gt;
168-
&lt;/td&gt;
169-
&lt;/tr&gt;
170-
&lt;tr&gt;
171-
&lt;td&gt;Feign&lt;/td&gt;
172-
&lt;td&gt;&lt;a href=&#34;https://github.com/OpenFeign/feign/pull/2304&#34;&gt;Issue 2304&lt;/a&gt;&lt;/td&gt;
173-
&lt;td&gt;
174-
175-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
176-
&lt;/td&gt;
177-
&lt;/tr&gt;
178-
&lt;tr&gt;
179-
&lt;td&gt;JSqlParser&lt;/td&gt;
180-
&lt;td&gt;&lt;a href=&#34;https://github.com/JSQLParser/JSqlParser/pull/1965&#34;&gt;Issue 1965&lt;/a&gt;&lt;/td&gt;
181-
&lt;td&gt;
182-
183-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
184-
&lt;/td&gt;
185-
&lt;/tr&gt;
186-
&lt;tr&gt;
187-
&lt;td&gt;Kubernetes Java Client&lt;/td&gt;
188-
&lt;td&gt;&lt;a href=&#34;https://github.com/kubernetes-client/java/pull/3081&#34;&gt;Issue 3081&lt;/a&gt;&lt;/td&gt;
189-
&lt;td&gt;
190-
191-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
192-
&lt;/td&gt;
193-
&lt;/tr&gt;
194-
&lt;tr&gt;
195-
&lt;td&gt;Nutz&lt;/td&gt;
196-
&lt;td&gt;&lt;a href=&#34;https://github.com/nutzam/nutz/pull/1613&#34;&gt;Issue 1613&lt;/a&gt;&lt;/td&gt;
197-
&lt;td&gt;
198-
199-
&lt;span style=&#34;color:#B0A695; font-weight: bold&#34;&gt;Open&lt;/span&gt;
200-
&lt;/td&gt;
201-
&lt;/tr&gt;
202-
&lt;tr&gt;
203-
&lt;td&gt;OpenGrok&lt;/td&gt;
204-
&lt;td&gt;&lt;a href=&#34;https://github.com/oracle/opengrok/pull/4542&#34;&gt;Issue 4542&lt;/a&gt;&lt;/td&gt;
205-
&lt;td&gt;
206-
207-
&lt;span style=&#34;color:#123458; font-weight: bold&#34;&gt;Patched&lt;/span&gt;
208-
&lt;/td&gt;
209-
&lt;/tr&gt;
210-
&lt;/tbody&gt;
211-
&lt;/table&gt;</description>
21223
</item>
21324
<item>
21425
<title>We reported 21 Null Pointer Exception bugs in 2024 (Open)</title>

0 commit comments

Comments
 (0)