Stability analysis of charged neutron stars and Darmois junction conditions | Synapse