$G$ be a non-measurable subgroup of $(\mathbb R,+)$ ; $I$ be a bounded interval , then $m^*(G \cap I)=m^*(I)$? Let $G$ be a non-measurable subgroup of $(\mathbb R,+)$ , $I$ be a bounded interval , then is it true that $m^*(G \cap I)=m^*(I)(=|I|)$ ? where $m^*$ denotes the Lebesgue outer measure 
 A: The answer "yes" follows from results in the article "On Two Halves Being Two Wholes" by Andrew Simoson in The American Mathematical Monthly Vol. 91, No. 3 (Mar., 1984), pp. 190-193.  Some readers might not have access, but here is the JSTOR link: http://www.jstor.org/stable/2322357 The article was cited in the article i707107 linked to in a comment. 
In the article a subset $A\subseteq \mathbb R$ is called Archimedean if $\{r\in\mathbb R:A+r=A\}$ is dense in $\mathbb R$.  Theorem 2 states that if $A$ is Archimedean with positive outer measure, then for every interval $I$, $m^*(A\cap I)=m^*(I)$.
A dense subgroup of $\mathbb R$ is Archimedean, and a nonmeasurable subgroup of $\mathbb R$ is dense with positive outer measure, so the theorem applies to affirm your conjecture.
A: From the article provided by @Jonas Meyer: http://www.jstor.org/stable/2322357
An alternative approach to this problem is possible. This approach is already provided by @Syang Chen at MathOverflow: https://mathoverflow.net/questions/59978/additive-subgroups-of-the-reals/59980 
Let $f(x) = m^*(G\cap [0,x])$. Then, for any $x, y \in G \cap (0,\infty)$, we have the additivity:
$$
f(x+y)=f(x)+f(y).
$$
Since $G$ is dense and $f$ is monotone, the additivity is generalized to all positive real numbers $x, y$. Moreover, $f(x) = ax$ with $a= f(1)$ is satisfied. 
Thus, if $I$ is any open interval, then 
$$
\frac{m^*(G\cap I)}{m^*(I)} = a .
$$
Now, we find $I$ by the Theorem 1 in the article. This gives $a=1$. 
