Groups keyboard shortcuts have been updated

Dismiss

See shortcuts

CPAchecker Users

Contact owners and managers

1–30 of 315

0 selected

Edgar Khachatryan, … Daniel Baier7

Mar 20

Question Regarding Reporting Multiple Bugs in CPAchecker

Dear Daniel, Thank you for the clarification. I have now created an issue with detailed steps to

unread,

Question Regarding Reporting Multiple Bugs in CPAchecker

Dear Daniel, Thank you for the clarification. I have now created an issue with detailed steps to

Mar 20

Yoel Kim, Philipp Wendler2

Feb 13

How to disable formula slicing?

Dear Yoel, Am 12.02.25 um 10:48 schrieb Yoel Kim: > Dear CPAchecker team, > > I have noticed

unread,

How to disable formula slicing?

Dear Yoel, Am 12.02.25 um 10:48 schrieb Yoel Kim: > Dear CPAchecker team, > > I have noticed

Feb 13

Yoel Kim, Philipp Wendler6

Jan 7

Parsing predicates that contains array operation

Dear Yoel, Am 02.01.25 um 07:21 schrieb Yoel Kim: > > I have another question about --

unread,

Parsing predicates that contains array operation

Dear Yoel, Am 02.01.25 um 07:21 schrieb Yoel Kim: > > I have another question about --

Jan 7

Andrew Valdez, Philipp Wendler6

11/26/24

Question about preprocess C project

Dear Andrew, sorry for the late reply, we were quite busy in the last few weeks working on CPAchecker

unread,

Question about preprocess C project

Dear Andrew, sorry for the late reply, we were quite busy in the last few weeks working on CPAchecker

11/26/24

Philipp Wendler

11/26/24

New CPAchecker version 4.0

Dear CPAchecker users, we are happy to announce the release of CPAchecker 4.0! Compared to version

unread,

New CPAchecker version 4.0

Dear CPAchecker users, we are happy to announce the release of CPAchecker 4.0! Compared to version

11/26/24

Philipp Wendler

10/18/24

Re: Migration of CPAchecker repository to git

Dear friends of CPAchecker, as promised the migration of CPAchecker from Subversion to git has

unread,

Re: Migration of CPAchecker repository to git

Dear friends of CPAchecker, as promised the migration of CPAchecker from Subversion to git has

10/18/24

Philipp Wendler

7/5/24

New CPAchecker version 3.0

Dear CPAchecker users, we are happy to announce the release of CPAchecker 3.0! Compared to version

unread,

New CPAchecker version 3.0

Dear CPAchecker users, we are happy to announce the release of CPAchecker 3.0! Compared to version

7/5/24

Philipp Wendler

6/28/24

New CPAchecker version 2.4

Dear CPAchecker users, we are happy to announce the release of CPAchecker 2.4, which brings mostly

unread,

New CPAchecker version 2.4

Dear CPAchecker users, we are happy to announce the release of CPAchecker 2.4, which brings mostly

6/28/24

6/26/24

9th Workshop on CPAchecker: Call for Participation

Dear CPAchecker Developers, Users, and Friends, The 9th International Workshop on CPAchecker (CPA

unread,

9th Workshop on CPAchecker: Call for Participation

Dear CPAchecker Developers, Users, and Friends, The 9th International Workshop on CPAchecker (CPA

6/26/24

Liangchen, Philipp Wendler4

6/14/24

Regarding Counterexamples in Outputs

Dear Liangchen, Am 14.06.24 um 03:42 schrieb Liangchen: > Dear Developers > Thank you very much

unread,

Regarding Counterexamples in Outputs

Dear Liangchen, Am 14.06.24 um 03:42 schrieb Liangchen: > Dear Developers > Thank you very much

6/14/24

Liangchen, Philipp Wendler2

6/10/24

Regarding the issue of output

Dear Liangchen, thank you for your interest in CPAchecker! Am 08.06.24 um 05:28 schrieb Liangchen:

unread,

Regarding the issue of output

Dear Liangchen, thank you for your interest in CPAchecker! Am 08.06.24 um 05:28 schrieb Liangchen:

6/10/24

Yoel Kim, Thomas Lemberger6

5/15/24

Error when using LLVM frontend

Hi Yoel, sorry for the late reply. CPAchecker's SMT-based analyses on LLVM use some more memory

unread,

Error when using LLVM frontend

Hi Yoel, sorry for the late reply. CPAchecker's SMT-based analyses on LLVM use some more memory

5/15/24

Philipp Wendler

4/26/24

New CPAchecker version 2.3.1

Dear CPAchecker users, we are happy to announce the release of CPAchecker 2.3.1, which brings several

unread,

New CPAchecker version 2.3.1

Dear CPAchecker users, we are happy to announce the release of CPAchecker 2.3.1, which brings several

4/26/24

4/25/24

Parsing fails for array of structs

Hi, I've been looking at the following program excerpt: void reach_error(){} struct A{ int a; };

unread,

Parsing fails for array of structs

Hi, I've been looking at the following program excerpt: void reach_error(){} struct A{ int a; };

4/25/24

4/4/24

Can CPAchecker take a set of predicates as input?

Dear developers of CPAchecker, I'm trying to apply predicates extracted from other tools, not

unread,

Can CPAchecker take a set of predicates as input?

Dear developers of CPAchecker, I'm trying to apply predicates extracted from other tools, not

4/4/24

Philipp Wendler

2/22/24

CPAchecker participation in Google Summer of Code 2024

Dear users, developers, and friends of CPAchecker, we are glad to announce that our group has again

unread,

CPAchecker participation in Google Summer of Code 2024

Dear users, developers, and friends of CPAchecker, we are glad to announce that our group has again

2/22/24

2/7/24

9th International Workshop on CPAchecker - Save the Date (2024-09-09)

Dear Developers, Users, and Friends of CPAchecker, The 9th International Workshop on CPAchecker will

unread,

9th International Workshop on CPAchecker - Save the Date (2024-09-09)

Dear Developers, Users, and Friends of CPAchecker, The 9th International Workshop on CPAchecker will

2/7/24

sanjanasai, Philipp Wendler2

12/20/23

Inquiry regarding CPAChecker deadlock detection feature

Dear sanjanasai, thank you for your interest in CPAchecker! Am 11.12.23 um 14:10 schrieb sanjanasai:

unread,

Inquiry regarding CPAChecker deadlock detection feature

Dear sanjanasai, thank you for your interest in CPAchecker! Am 11.12.23 um 14:10 schrieb sanjanasai:

12/20/23

Philipp Wendler

12/13/23

New CPAchecker version 2.3

Dear CPAchecker users, we are happy to announce the release of CPAchecker 2.3, which brings several

unread,

New CPAchecker version 2.3

Dear CPAchecker users, we are happy to announce the release of CPAchecker 2.3, which brings several

12/13/23

Lin, Philipp Wendler4

11/29/23

Inquiry Regarding the Usage and Implementation of Constant Propagation in CPAchecker

Dear Tengjie Lin, Am 25.11.23 um 07:29 schrieb Lin: > My aim is to analyze the impact of inserting

unread,

Inquiry Regarding the Usage and Implementation of Constant Propagation in CPAchecker

Dear Tengjie Lin, Am 25.11.23 um 07:29 schrieb Lin: > My aim is to analyze the impact of inserting

11/29/23

Liangchen, Philipp Wendler3

11/6/23

Two problems after modifying CFA

Dear Liangchen, Am 05.11.23 um 15:20 schrieb Liangchen: > I have modified mutableCFA and then

unread,

Two problems after modifying CFA

Dear Liangchen, Am 05.11.23 um 15:20 schrieb Liangchen: > I have modified mutableCFA and then

11/6/23

Liangchen, Philipp Wendler2

10/18/23

How to modify statement of CFAEdges?

Dear Liangchen, Am 18.10.23 um 09:54 schrieb Liangchen: > I hope to modify statement of CFAEdges

unread,

How to modify statement of CFAEdges?

Dear Liangchen, Am 18.10.23 um 09:54 schrieb Liangchen: > I hope to modify statement of CFAEdges

10/18/23

Yoel Kim, Philipp Wendler4

9/22/23

Using -svcomp option for non-SV-COMP benchmark programs

Hi Yoel Kim, Am 22.09.23 um 11:42 schrieb Yoel Kim: > I have one more question about memory usage

unread,

Using -svcomp option for non-SV-COMP benchmark programs

Hi Yoel Kim, Am 22.09.23 um 11:42 schrieb Yoel Kim: > I have one more question about memory usage

9/22/23

Tuo Li, … Philipp Wendler3

9/22/23

Parsing failed when checking Linux 6.2 with -lockator-linux

Dear Tuo Li, Am 21.09.23 um 06:20 schrieb Tuo Li: > I first preprocessed source code of the Linux

unread,

Parsing failed when checking Linux 6.2 with -lockator-linux

Dear Tuo Li, Am 21.09.23 um 06:20 schrieb Tuo Li: > I first preprocessed source code of the Linux

9/22/23

Tuo Li, Philipp Wendler2

9/22/23

A NullPointerException is thrown when detecting data races in Linux 4.0

Dear Tuo Li, Am 21.09.23 um 13:09 schrieb Tuo Li: > I tan the following command: > > scripts

unread,

A NullPointerException is thrown when detecting data races in Linux 4.0

Dear Tuo Li, Am 21.09.23 um 13:09 schrieb Tuo Li: > I tan the following command: > > scripts

9/22/23

Bcg Vfh, … Philipp Wendler6

9/13/23

ERRORS in concurrency analysis with CPAchecker

Hi, Am 13.09.23 um 07:22 schrieb Bcg Vfh: > *sudo add-apt-repository ppa:sosy-lab/benchmarkingsudo

unread,

ERRORS in concurrency analysis with CPAchecker

Hi, Am 13.09.23 um 07:22 schrieb Bcg Vfh: > *sudo add-apt-repository ppa:sosy-lab/benchmarkingsudo

9/13/23

Omar bataineh, Philipp Wendler6

9/5/23

A query regarding CPAChecker

Hi Omar, Am 04.09.23 um 14:35 schrieb Omar bataineh: > For the purpose of program repair, we would

unread,

A query regarding CPAChecker

Hi Omar, Am 04.09.23 um 14:35 schrieb Omar bataineh: > For the purpose of program repair, we would

9/5/23

Artjom Plaunov, Philipp Wendler7

8/23/23

Printing ARG info for earlier refinements in Predicate Abstraction SBE

Hi Philipp, Thank you very much for the side notes and for the solution to my problem, I downloaded

unread,

Printing ARG info for earlier refinements in Predicate Abstraction SBE

Hi Philipp, Thank you very much for the side notes and for the solution to my problem, I downloaded

8/23/23

Liangchen, Philipp Wendler3

8/21/23

Some problem when I use <spec file> in CPAchecker

Dear Liangchen, Am 19.08.23 um 04:52 schrieb Liangchen: > I try to use CPAchecker to do static

unread,

Some problem when I use <spec file> in CPAchecker

Dear Liangchen, Am 19.08.23 um 04:52 schrieb Liangchen: > I try to use CPAchecker to do static

8/21/23

Anton Vasilyev, Philipp Wendler2

8/21/23

Scalar evolutions analysis

Hi Anton, Am 14.08.23 um 17:04 schrieb Anton Vasilyev: > Is there something like scalar evolutions

unread,

Scalar evolutions analysis

Hi Anton, Am 14.08.23 um 17:04 schrieb Anton Vasilyev: > Is there something like scalar evolutions

8/21/23

Search

Clear search

Close search

Google apps

Main menu