태그: 정적 심사

한 스마트폰 에이전트에 대한 신뢰 감사: Mika의 정적 심사, 권한 경계의 정직한 층위화, 그리고 직접 만들면 더 안전하다는 신화의 해체

오픈소스 스마트폰 에이전트 Mika(wangzan101/Mika, 별 이천오백, Kotlin+Compose)에 대한 전면 정적 심사. 클론한 뒤 코드를 일절 실행하지 않고 권한, 네트워크 출구, 프리빌트 바이너리, 의존 원천, 노출 면의 다섯 차원을 통과했다. 텔레메트리 없음, 의존은 전부 공식 원천, MCP는 Bearer 인증 뒤 루프백 한정과 레이트 제한, Keystore로 암호화된 자격 증명. 결론은 악의적 행위 없음이며, 리스크는 제품의 본질(접근성=휴대폰 전체의 시야)에 산다. 버전 행렬(안드로이드 12 문턱, 14 최적, arm64 필수), 단계적 시험 방안, 삭제의 청결함도 함께 확정되었다. 그리고 영혼의 질문, 직접 만들면 더 안전한가에 대한 답은 삼층으로 돌아왔다. 영에서의 자작은 아마도 더 불안전하며(안전 공학이야말로 실수가 모이는 곳이다), 포크해서 조이는 것은 실행 가능하나 무겁고, 축소판(휴대폰 조작 없음)만이 진정으로 더 안전한 길이다.