Cobertura automática

Cobertura que não espera por um ciclo de publicação.

Cada ferramenta forense descodifica o que o seu fornecedor já implementou. O VERA gera a sua própria cobertura para tudo o resto, apresenta-a ao examinador como uma pré-visualização sobre os dados reais, e não aplica nada enquanto uma pessoa não a tiver aceitado.

  • Primeiro a biblioteca pública, geração para o resto
  • Validado por uma pessoa antes do uso
  • Cada mapeamento legível, sem código para escrever

O problema

Uma aplicação não suportada é um beco sem saída, e não é rara.

Um suspeito instala uma aplicação social regional, ou atualiza uma aplicação de mensagens conhecida, e a disposição do armazenamento muda. O conjunto de aquisição não a implementou. Os dados estão na extração, totalmente presentes, e ficam ilegíveis até alguém publicar um parser para eles.

Essa espera não tem nada que ver com o caso que está diante do examinador. É governada pelo planeamento de publicações de outra empresa, e por quão interessante a aplicação lhe parece comercialmente.

Três patamares

Conhecido, desconhecido, e corrigido.

A cobertura é produzida de três formas, ordenadas pelo quanto da atenção do examinador cada uma custa.

  • A biblioteca pública aplica o que é conhecido

    Aberta a cada contributo. As fontes são comparadas com a biblioteca de mapeamentos validados e aplicadas quando o lacre é aberto, para que o examinador veja uma vista preenchida, não uma tarefa.

  • O mapeamento automático estrutura o resto

    O VERA examina as fontes, descobre o que contêm, e gera o próprio mapeamento. O que chega ao examinador é uma pré-visualização sobre os dados reais e não uma especificação para ler. No nosso caso de demonstração, as mensagens do Leboncoin são mapeadas assim: nenhuma biblioteca as tinha.

  • O analista tem a última palavra

    Qualquer mapeamento pode ser aberto no editor de nós, a consulta lida e alterada, com a ajuda do assistente se for desejada. Escrever código nunca faz parte do trabalho.

Mapeamento · pré-visualizaçãoÀ espera de revisão

Fonte

tabela de mensagens

Transformação

hora, direção

Vista

Mensagens

DATA E HORAREMETENTETEXTO DA MENSAGEM
11/03 21:04Contacto 7andas por aí este fim de semana
11/03 21:06Proprietáriodepende para quê
11/03 21:11Contacto 7sábado, como da última vez
11/03 21:12Proprietárioestá bem. O dia 14 serve
Validar e indexarCorrigirPedir uma correção ao assistenteConsulta legível e editável

O controlo de validação

Os mapeamentos são gerados automaticamente e validados por uma pessoa antes do uso.

Essa frase é toda a descrição pública do mecanismo, e é deliberada. O que importa a um comprador é a garantia e não o método: nenhum mapeamento gerado é alguma vez aplicado a um caso sem um examinador o aceitar, e o examinador vê o resultado sobre registos reais antes de decidir.

Para uma conversa de contratação este é em geral o ponto decisivo. O software propõe. O examinador dispõe, e o rasto de auditoria regista qual.

Nada é aplicado a um caso sem uma pessoa o aceitar primeiro. É uma propriedade do desenho, não uma definição.

Explicabilidade

Cada mapeamento pode ser lido por quem precisar.

Um mapeamento é a explicação de uma vista: que ficheiro, que tabela, que colunas, ligadas como e transformadas como. Abra qualquer traço e o VERA mostra o mapeamento por detrás, da linha de origem ao campo no ecrã.

Os examinadores raramente precisam de lhe tocar. Quando é precisa uma correção, faz-se ligando caixas num editor visual, sem código. Um revisor, um contraperito ou um tribunal pode ler o mesmo mapeamento e verificá-lo.

01O traço

Mensagens · conversa 12

Contacto 714 mar · 18:40

18,000 e passo aí no sábado

Texto da mensagem

02O mapeamento que o produziu

source_table 244 rows text TEXT peer TEXT sent_at INTEGER state INTEGER kind INTEGER conv_id INTEGER VALUE MAP 1 → received 2 → sent Timestamp TIMESTAMP Sender TEXT Message body TEXT Direction ENUM Thread ID TEXT Read BOOL Attachments JSON

03A linha de origem

messages.db › message › linha 8842
text
18,000 e passo aí no sábado
peer
7
sent_at
1773510000
state
1
Nomes genéricos. Num lacre real, cada passo abre-se no VERA com um clique.

O que muda

A cobertura cresce com o uso em vez de com os ciclos de publicação.

Um laboratório que corre o VERA deixa de esperar que um terceiro decida que aplicações vale a pena suportar. O examinador que encontra hoje uma aplicação desconhecida obtém hoje uma vista a funcionar, e o mapeamento validado pode depois ser proposto à biblioteca pública, para que todos os outros laboratórios também o recebam.

A competência deixa de desaparecer quando um examinador se reforma ou é transferido. Passa a ser algo que o serviço guarda.

O que funciona hoje, e o que não funciona

A funcionar hoje

  • Geração automática de mapeamento para fontes que nunca foram vistas.
  • Um controlo de validação humana obrigatório antes de qualquer coisa ser aplicada.
  • Um editor visual de nós para correção e controlo manual completo.
  • Comparação com a biblioteca pública e a biblioteca do serviço na importação.
  • Cobertura que se aplica a versões alteradas, não apenas a aplicações novas.
  • Fontes para lá das bases de dados: JSON, plist, XML, CSV, LevelDB e outros ficheiros estruturados.

Em desenvolvimento

  • Fontes de computador, ficheiros de registo e qualquer ficheiro legível, pelos mesmos mapeamentos.
  • Uma passagem rápida só com a biblioteca, com a IA a mapear o resto enquanto o examinador trabalha.
Ver o roteiro

Vê-lo a correr numa extração real

Um serviço pede uma demonstração, em geral trinta minutos com dados fictícios. Um perito independente pede acesso: uma pessoa analisa o pedido, e a licença anual encomenda-se a partir da conta.

Pedir acesso

Cada pedido é analisado antes de o acesso ser concedido.