diff --git a/src/MCMultiCore/ModelCheckThReq.cpp b/src/MCMultiCore/ModelCheckThReq.cpp
index 333737d47c50cd76b0ec973c99ce993164a60672..a1203b945cc99a3c8679d568890576d3357fda38 100644
--- a/src/MCMultiCore/ModelCheckThReq.cpp
+++ b/src/MCMultiCore/ModelCheckThReq.cpp
@@ -32,7 +32,7 @@ void ModelCheckThReq::preConfigure() {
  * Creates builder threads
  */
 void ModelCheckThReq::ComputeTh_Succ() {
-    int rc;
+
     m_id_thread = 0;
     //cout<<"Enter : "<<__func__ <<endl;
     pthread_barrier_init(&m_barrier_threads, NULL, m_nb_thread + 1);
diff --git a/src/MCMultiCore/ModelCheckerTh.cpp b/src/MCMultiCore/ModelCheckerTh.cpp
index fed67f60708fb8f1ab89b5643296c9d01547c964..c07d838944763c6f42c2f8dccc5d8f2f25dabc0e 100644
--- a/src/MCMultiCore/ModelCheckerTh.cpp
+++ b/src/MCMultiCore/ModelCheckerTh.cpp
@@ -25,7 +25,7 @@ void* ModelCheckerTh::Compute_successors() {
 	int min_charge = 0;
 
 	if (id_thread == 0) {
-		LDDState *c = new LDDState;
+		auto *c = new LDDState;
 		MDD Complete_meta_state=Accessible_epsilon(m_initialMarking);
         //#ldd_refs_push(Complete_meta_state);
 		
@@ -131,7 +131,7 @@ void ModelCheckerTh::ComputeTh_Succ() {
 	m_gc=0;
 #endif	
 	
-	pthread_barrier_init(&m_barrier_builder, NULL, m_nb_thread + 1);
+	pthread_barrier_init(&m_barrier_builder, nullptr, m_nb_thread + 1);
 
 	for (int i = 0; i < m_nb_thread; i++) {
 		pthread_spin_init(&m_spin_stack[i],0);
@@ -141,7 +141,7 @@ void ModelCheckerTh::ComputeTh_Succ() {
 
 	for (int i = 0; i < m_nb_thread; i++) {
 		int rc;
-		if ((rc = pthread_create(&m_list_thread[i], NULL, threadHandler, this))) {
+		if ((rc = pthread_create(&m_list_thread[i], nullptr, threadHandler, this))) {
 			cout << "error: pthread_create, rc: " << rc << endl;
 		}
 	}
@@ -150,7 +150,7 @@ void ModelCheckerTh::ComputeTh_Succ() {
 ModelCheckerTh::~ModelCheckerTh() {
 	m_finish = true;
 	for (int i = 0; i < m_nb_thread; i++) {
-		pthread_join(m_list_thread[i], NULL);
+		pthread_join(m_list_thread[i], nullptr);
 	}
 }
 
diff --git a/src/SylvanWrapper.cpp b/src/SylvanWrapper.cpp
index 8c6cd3d1ca7cd5f143171e943f7cc98b8b7dc77b..0e70078a7e9ce0fa865d765e1629818e778a08c9 100644
--- a/src/SylvanWrapper.cpp
+++ b/src/SylvanWrapper.cpp
@@ -817,7 +817,6 @@ MDD SylvanWrapper::lddmc_firing_mono(MDD cmark, const MDD minus,const MDD plus)
     MDD _cmark = cmark, _minus = minus, _plus = plus;
 
     if (SylvanCacheWrapper::cache_get3(CACHE_LDD_FIRE, cmark, minus, plus, &result)) {
-
         return result;
     }
     MDD cache_cmark = cmark;