Opções binárias ninja


Documentação da API Binária Ninja Python¶¶


Callback para BNLoadPluginForApi ("python2,"), carrega dinamicamente os plugins do Python.


binaryninja. core_build_id = 4258600556L В¶


binaryninja. core_expires = time. struct_time (tm_year = 1970, tm_mon = 1, tm_mday = 1, tm_hour = 0, tm_min = 0, tm_sec = 0, tm_wday = 3, tm_yday = 1, tm_isdst = 0) В¶


binaryninja. core_license_count = 0 В¶


Contagem de licenças do arquivo de licença.


Cadeia de produtos do arquivo de licença.


Tipo de produto do arquivo de licença.


binaryninja. core_version = '1.1.1031-dev' В¶


get_install_directory retorna uma string apontando para o binário instalado atualmente em execução.


..warning :: SOMENTE para uso dentro da IU Binária do Ninja, o comportamento é indefinido e não confiável se for executado sem cabeça.


binaryninja. get_unique_identifier () [fonte] В¶ binário do binário. desligamento () [fonte] В¶


desligamento limpa o núcleo, interrompe todos os trabalhadores e fechando todos os arquivos de log.


Versão demo.


Versão demo.


A versão de demonstração do Ninja binário está disponível para que você avalie sua funcionalidade básica e veja se atende às suas necessidades. Se você tiver uma pergunta que não seja respondida pela demo, entre em contato conosco.


A versão de demonstração é limitada das seguintes maneiras:


Apenas desmonta o x86 e o ​​ARMv7 de 32 bits. Nenhum suporte ao plugin. Não é necessário carregar ou salvar dados. Análise de núcleo único. Nenhum acesso à API não pode ser usado para fins comerciais.


Ao baixar a versão de demonstração abaixo, você concorda com os termos da licença de demonstração. Se você não concorda com a licença, não faça o download ou execute os links abaixo.


Binário Ninja é trazido a você pelo Vector 35, um grupo de hackers que começou a fazer jogos e ferramentas de reversão. Ou talvez eles sejam desenvolvedores de jogos que ainda pensam que podem piratear? De qualquer forma, eles estão se divertindo fazendo isso.


Compra.


Pessoal / Estudante.


Comercial.


Procurando renovar?


Não use esta página se estiver procurando por renovar uma compra anterior e no prazo de um mês de vencimento (antes ou depois). Em vez disso, você deveria ter recebido um e-mail que inclua um link de renovação, ou você pode verificar a caixa de diálogo Sobre no próprio Binário para um link de renovação e informações sobre o período de suporte.


Pedidos de compra e licenças alternativas.


Se você comprar mais de 10 cópias de Binário Ninja, você precisará contatar-nos. Nós apoiamos POs e cartões de crédito para essas compras. Observe que os POs geralmente não são suportados para compras menores, mas nos avise se esse é o seu único mecanismo disponível e geralmente podemos fazê-lo funcionar.


Se você estiver interessado em formas alternativas de licenças (por exemplo, licenças baseadas em computador que não estão vinculadas a um nome ou email específico), entre em contato com o suporte e podemos orientá-lo através de outras opções.


Se você precisa comprar através de um revendedor, recomendamos que você assegure-se de que, depois de comprar através de um revendedor, você tenha o revendedor contatando-nos com seu endereço de e-mail para que possamos mover a licença para o seu e-mail no caso de você precisar recuperar uma licença perdida ou solicite novos links de download.


Não oferecemos descontos para revendedores.


Diferenças detalhadas.


Comercial versus Pessoal / Estudante.


[1]: O recurso de "análise em cache" no Commercial economiza análise em bancos de dados, enquanto a edição pessoal deve redefinir todas as análises sempre que um arquivo é aberto. Isto é especialmente importante para arquivos muito grandes. Observe que qualquer usuário muda, como comentários, nomes, símbolos, tipos, etc., são salvos em ambas as versões.


[2]: O "processamento sem cabeça" no Commercial refere-se à capacidade de executar plugins sem a GUI (por exemplo, "importar binaryninja" dentro de um console ou plugin de python autônomo), mas ambas as versões suportam a mesma API completa. A versão Pessoal / Estudante aceita o acesso à API somente através de plugins carregados através da GUI ou inserido de forma interativa no console incorporado do python.


Para outras diferenças e perguntas sobre o licenciamento, consulte nossas faq.


Binário Ninja é trazido a você pelo Vector 35, um grupo de hackers que começou a fazer jogos e ferramentas de reversão. Ou talvez eles sejam desenvolvedores de jogos que ainda pensam que podem piratear? De qualquer forma, eles estão se divertindo fazendo isso.


Ninja Profits.


Ninja ganha uma fraude?


Ei, seja bem-vindo à nossa revisão dos lucros de Ninja. Nós vimos os lucros de Ninja aparecerem em nossa caixa de e-mails de spam várias vezes ao longo das últimas semanas e decidimos dar uma olhada rápida. O nome realmente não me dá um bom pressentimento, que eles são uma empresa confiável. Ninja's são remontáveis ​​para desaparecer sem deixar rastro em um sopro de fumaça, e temos a sensação de que este produto também será, junto com seu dinheiro.


O novo sistema de negociação de opções de opções binárias afirma fazer com que você tenha mais de 700% de lucro em seu investimento, colocando uma média de 237 negócios por dia com uma taxa de ganhos de 98%.


O vídeo de boas-vindas explica que você descobriu uma nova fórmula comercial secreta, que está fazendo quantidades ridículas de dinheiro para seus comerciantes, todos os dias.


Este tipo de vídeos que você já viu antes, ficamos entediados e inserimos nosso e-mail de teste.


O que você ganha?


Ninja Profits é bastante limitado em termos de recursos. Não há opções disponíveis para que possamos verificar quaisquer gráficos ou taxas ao vivo no software. O layout do software é muito simples e fácil de navegar. Mas uma vez que você fez o passeio uma vez, não há nada para isso.


Nós fomos direcionados para um corretor automaticamente, nosso corretor desta vez era One Two Trade. Uma plataforma intermediária usando o modelo Spot-Option. Assim, os comerciantes mais experientes serão familiares, e a maioria dos negócios novatos encontrarão sua simplicidade uma brisa para aprender.


O que nós gostamos.


Ninja Profits parece uma plataforma de negociação única, ou pelo menos uma que ainda não conhecemos. Parece super fácil de usar, com configurações de personalização muito limitadas. Basta clicar no montante que deseja investir em cada comércio, ativar o comércio automático e sentar-se e deixar o software fazer todo o trabalho duro para você.


O que nós não gostamos.


Parece barato. OK, isso não significa que seja uma farsa, já vimos um produto realmente bonito e não é nada mais do que dinheiro desperdiçando desperdícios de tempo. Mas um pouco de brilho aqui e ali faria parecer um pouco melhor.


O nome também é ruim. Quer dizer, se eles realmente querem ser levados a sério, eles podem querer reconsiderar.


O controle limitado de Ninja Profits, significa que você precisa depender do software para negociar os ativos certos no momento certo.


Pensamentos finais.


Se você está procurando o software Auto Trade, então há várias opções melhores para você. Robô de opções para.


exemplo, oferece mais controle que já vi disponível em um sistema de comércio de automóveis antes.


Qualquer tipo de sistema de negociação automática é um risco extremamente elevado, pois você não terá controle sobre os negócios que está colocando.


Então, para as pessoas que gostariam de manter seu dinheiro um pouco mais apertado, então dê uma olhada no 10 Day Social Profit, um fantástico sistema de comércio de fogo rápido, que realmente pode mantê-lo no limite do seu assento.


Perguntas frequentes.


Uma licença Binária Ninja inclui suporte para Linux, OS X e Windows. Especificamente:


Linux: o mais recente LTS de 64 bits do Ubuntu mais recente estável é oficialmente suportado, muitas outras distros são suportadas de forma não oficial OS X: 10.10 e 10.11 Windows: Windows 8 x64 e Windows 10 x64 (o Win 7 x64 atualmente funciona se totalmente atualizado, mas não é oficialmente suportado)


Binário Ninja inclui vários níveis de suporte para diferentes cpus. Destruir o suporte a seguir para cada arquitetura com base no suporte à desmontagem, levantamento, edição de montagem em linha (que também inclui a inserção de blocos de montagem em bruto) e compilação C (usando nosso próprio compilador compilado chamado SCC):


Atualmente, temos carregadores para os seguintes formatos de arquivo:


PE / COFF ELF Mach-O (sem suporte atual para arquivos de gordura, sugere man lipo para extração manual).NES (via um exemplo de plugin) Raw Binário (Você pode facilmente criar funções a partir de qualquer arquitetura em arquivos binários em bruto usando o "P" tecla de atalho ou o menu de contexto com o botão direito do mouse em hexadecimal em bruto ou vista linear)


Atualmente, demartamos os símbolos GNU3 e MSVS, incluindo o C ++ 11 usando nossa própria biblioteca de plataforma cruzada no OS X, Linux e Windows.


Atualmente, não suportamos carregar arquivos PDB, embora existam plugins de terceiros que demonstrem como importar símbolos deles.


Absolutamente. Enquanto o Ninja Binário tentará se conectar on-line para verificar atualizações e mostrar o changelog, ele funciona bem sem ele. Você pode até mesmo desativar esses recursos nas preferências se você não quiser ver os erros sobre a falha na conexão.


Você precisará de um computador executando a mesma versão do Ninja Binário na internet se desejar receber atualizações ou mudar para o canal dev. No momento, o processo recomendado é instalá-lo em um computador online, deixá-lo atualizado em qualquer canal desejado, então basta copiar a pasta de instalação sobre a versão instalada em seu computador off-line. Você também pode usar o plugin do switcher de versão para automatizar o processo, se desejar.


Além disso, nossa próxima versão Enterprise será especificamente projetada para funcionar bem em redes off-line. Será distribuir atualizações para clientes conectados e até suportar diferentes canais, permitindo que um time que esteja trabalhando offline para ter um fluxo de trabalho idêntico a estar online.


Isso não é uma pergunta - ainda assim, é algo que comumente ouvimos. Há muitas razões pelas quais fizemos outra IL, a primeira sendo que era importante para nós poder fornecer uma plataforma de análise em todas as arquiteturas que apoiamos.


Outras ILs são específicas de uma arquitetura, ou excessivamente verbosa, de modo que levantar para elas é uma tarefa demorada. Ao implementar múltiplas ILs, resolvemos uma série de problemas simultaneamente. Primeiro, nossa IL inicial é muito rápida e fácil de levantar. Nosso exemplo NES 6502 plugin demonstra isso. Em segundo lugar, uma vez que levamos a nossa IL inicial, podemos traduzir facilmente para outras ILs mais adequadas para diferentes fins.


Não, não neste momento. Nós definitivamente planejamos uma interface de depuração a longo prazo, mas agora estamos concentrados em nossos esforços de análise estática.


Claro, isso não impediu outros de integrar o Ninja Binário em um fluxo de trabalho de análise dinâmico. Por exemplo, confira o plugin Binjatron da Snare que conecta o Ninja binário ao Voltron, que é um front-end para uma variedade de depuradores (GDB, LLDB, WinDbg e VDB na última contagem).


SCC é abreviação de "shell code compiler", é um compilador C personalizado projetado para criar pequenas cargas úteis de shellcode com tamanho de arquivo mínimo. Inclui uma libc simples compilada / inlined estaticamente para tamanhos de arquivo muito pequenos. O SCC é conveniente para testar a exploração ou substituir a funcionalidade integrada de um programa com uma substituição C. Quer uma função sempre retornar uma estrutura ou valor específico? Você poderia fazê-lo na montagem, mas muitas vezes é mais fácil em C.


Se você estiver testando a análise da técnica de ofuscação, o SCC também suporta uma série de objetos obtidos, como a inserção de código indesejável, diferentes variáveis ​​como o ponteiro da pilha, etc.


Claro. A razão pela qual escolhemos o slogan "uma plataforma de engenharia reversa" é que nenhuma ferramenta de engenharia reversa da GUI nunca solucionará magicamente todos os problemas de engenharia reversa. O humano tem que fazer parte do loop de análise. Não só através de mudanças interativas, mas também através de uma API sólida que pode ser ampliada e construída pela comunidade. Para esse fim, construímos Ninja Binário em torno de um núcleo modular com uso extensivo de plugins. A UI que você usa agora quando você usa o Ninja Binário usa a mesma API disponível para qualquer plugin. Para qualquer uma das licenças comerciais do Binário Ninja, isso também significa que o Ninja Binário foi projetado para funcionar bem de forma remota e sem cabeça para projetos de análise em grande escala. Nós até apoiamos licenças de "computação" para análise descamada distribuída.


Binário Ninja é escrito principalmente em C ++ 11, com C, C ++ e Python APIs. A própria API, bem como os complementos de amostra, estão disponíveis sob uma licença MIT no depósito binaryninja-api.


Congratulamo-nos com as contribuições para a API licenciada do MIT, mas pedimos que você preencha e assine um contrato de licença de contribuição se desejar incluir seu plugin ou alteração de API no instalador padrão. Mesmo se você não quiser enviar o código real, gostaríamos de ter o seu plugin vinculado a partir do readme para facilitar a busca sem exigir um acordo assinado.


Nós tentamos arduamente criar um produto com uma API muito poderosa que o torna extensível e adaptável a uma variedade de casos de uso. Ainda assim, queríamos que a interface inicial fosse limpa e simples, ajudando você a se concentrar apenas na engenharia reversa fácil.


Absolutamente. Embora não esperemos ter o descompilador completo em 2017, estamos projetando tudo para apoiá-lo. Na verdade, você já pode ver alguns dos passos importantes em direção a um descompilador completo, de plataforma cruzada, ativando o & quot; Low Level-IL & quot; Visão.


A colaboração foi um dos nossos primeiros objetivos de design no Binário Ninja. Nós construímos nosso formato de banco de dados para suportar facilmente a colaboração de múltiplos usuários, identificando separadamente as mudanças iniciadas pelo usuário em relação às mudanças iniciadas pela análise no banco de dados. Isso não só nos permite ter um modelo de fusão / ramificação que suporte a colaboração, mas também nos permite atualizar o recurso de análise em uma nova versão e, em seguida, reaplicar as alterações dos usuários para atualizações fáceis de banco de dados entre as versões.


A colaboração funcionará de duas maneiras. Em primeiro lugar, as licenças comerciais e pessoais suportarão um sistema de colaboração ad-hoc peer to peer que funciona para dois usuários binários Ninja na mesma rede.


Em segundo lugar, a licença da empresa incluirá um servidor de colaboração que suporte autenticação, autorização e armazenamento centralizado de bancos de dados para ambientes onde um repositório central tenha mais sentido do que a colaboração ad hoc.


Atualmente, planejamos que a colaboração tenha implementado algum tempo no início de 2017 para a versão corporativa, com as outras duas versões ganhando o recurso algum tempo depois.


Nosso período de preço introdutório terminou em 30 de setembro de 2017. Não esperamos que nossos preços atuais mudem neste momento, mas não garantimos nenhum preço.


Além disso, alguns recursos futuros (por exemplo, um descompilador) provavelmente serão uma compra separada ou poderão resultar na subida do preço base.


Compras.


30 dias antes do término do período de suporte, você receberá um e-mail que inclui um link que lhe permite renovar. Você deve receber outro e-mail se você chegar cinco dias antes do final do período de suporte. Você também será notificado através de um pequeno ícone de notificação na barra de status do binário Ninja, se você estiver executando uma compilação atualizada e não tiver desativado a atividade online.


Pedidos de compra e faturas são suportados para compras de mais de 10 cópias da licença comercial. Contacte-nos para mais informações. Fazemos exceções a isso, se necessário.


Sim, trabalhamos com vários revendedores. Não oferecemos descontos de revendedores e incentivamos os revendedores a nos informar o email do cliente final depois de comprarem licenças para que a licença possa ser atualizada permitindo que o usuário final receba links de download, licenças frescas e suporte sem percorrer o revendedor no futuro.


Sua licença pessoal ou comercial é para seu uso em tantas máquinas que você usa executando qualquer sistema operacional que apoiamos. Observe que você só pode executar simultaneamente tantas cópias como você comprou licenças.


Se você quiser comprar licenças de computação para processamento distribuído remoto, entre em contato conosco.


Um ano de atualizações estão incluídos na compra original.


Quando suas atualizações estiverem esgotadas, você pode continuar usando a última atualização que você recebeu indefinidamente ou renovar seu período de suporte para continuar recebendo atualizações.


Renovar uma licença de suporte custa 50% do preço de compra atual dessa licença. Mais informações disponíveis em nosso blog na seção "Renovações".


As atualizações estão disponíveis a partir de licenças de nível inferior como um desconto avaliado com base em incrementos de um quarto de ano.


Então, se você usou a edição pessoal por dois meses (um quarto de uso) e depois atualize, você pagaria $ 487.25 ($ 599- $ 149 * 0.75) por uma nova licença de um ano da versão comercial em troca de virar a licença pessoal.


Se você estiver interessado em atualizar uma licença existente, entre em contato conosco.


Nós permitimos que os usuários transferem licenças de um e-mail para outro, desde que o produto esteja dentro do período de suporte.


Para alterar o usuário associado a uma licença, entre em contato conosco.


Acreditamos que Binário Ninja fornece mais valor do que os preços iniciais para os quais estamos vendendo, mas queremos agradecer aos adotadores adiantados, então nosso preço inicial está em uma taxa introdutória. Atualizaremos nosso site e enviaremos por e-mail nossa lista de e-mails pelo menos um mês antes de finalizar o período introdutório de preços para garantir que seja amplamente divulgado.


Nossas licenças diferenciam entre o uso comercial e o uso pessoal como forma de tornar o produto acessível para estudantes e hobistas enquanto ainda nos permite financiar uma empresa para criar um produto para um nicho de mercado.


Então, o que consideramos de uso comercial? Se o seu principal uso do produto é lucrativo, o uso é comercial. Se você estiver usando Binário Ninja em seu computador de trabalho para, por exemplo, não se qualifica necessariamente como uso comercial. Se você estiver usando isso como parte de seu trabalho, no trabalho, então provavelmente.


Se você não tem certeza se seu uso se qualifica como comercial ou pessoal, entre em contato e pergunte.


Também aplicamos um padrão "de minimis". Se o seu uso comercial (exibir anúncios nos vídeos do Youtube, por exemplo), você ganha menos do que 5 vezes o custo de uma licença comercial, estamos felizes por continuar com a utilização de uma licença pessoal. Depois de começar a ganhar dinheiro suficiente para pagar, esperamos que você considere a atualização.


Nós reembolsaremos as compras no prazo de 15 dias após a compra, se o Binário Ninja não atender às suas necessidades. Reservamo-nos o direito de negar reembolsos em situações em que acreditamos que a política está sendo abusada, mas estamos confiantes de que você terá mais do que o valor do seu dinheiro. Entre em contato para obter mais informações sobre o processo de retorno.


Não há problema, basta usar nossa página de recuperação de licença de autoatendimento. Se você não pode mais acessar seu endereço de e-mail original, entre em contato com o suporte.


Binário Ninja é a única plataforma de engenharia reversa que possui um compilador incorporado, uma linguagem intermediária totalmente exposta com fluxo de dados e API totalmente pública. Cada uma dessas características é única em isolamento entre produtos comerciais, e a combinação é incomparável em qualquer lugar.


Se você precisa de um compilador de shellcode dedicado para estender, adaptar ou modificar um binário, nosso Compilador de Código Shell incorporado é uma ferramenta única que é integrada de maneira perfeita em Ninja Binário.


A família Binary Ninja Intermedia Language (BNIL) de ILs permite técnicas avançadas de análise em todas as arquiteturas suportadas pelo Ninja Binário. Recursos como o fluxo de dados estático permitem a consulta de valores de registro conhecidos na ILM de nível baixo (LLIL) e abstrações de nível superior, como a IL de nível médio, permitem a análise de uma forma do binário que abstrai a pilha, a memória e os registros para as variáveis . Não só isso, mas adicionar uma nova arquitetura que suporta o BNIL é fácil de fazer para qualquer terceiro, permitindo que nossa estrutura de análise poderosa seja aplicada a novas plataformas únicas.


Único entre os produtos comerciais, o binário Ninja API é de código aberto e totalmente exposto. Todos os plugins e scripts têm o acesso total ao mecanismo de análise do núcleo que a GUI principal alavanca.


Único em comparação com os produtos de código aberto, o Ninja Binário possui uma equipe dedicada de desenvolvimento e suporte que pode oferecer suporte comercial com vários níveis disponíveis.


Binário Ninja se conecta de volta à nossa infraestrutura de atualização para receber troleiros e notificações de novas versões. Você é mais do que bem-vindo para bloquear esse mecanismo de atualização, mas seja informado que apenas oferecemos suporte para a versão mais recente.


Para desativar todas as atividades on-line, basta desmarcar as duas opções a seguir nas preferências:


Atualize a versão mais recente automaticamente Mostre o conteúdo ativo na página inicial.


Note que ainda é possível que o Ninja binário acesse o conteúdo online se você usar a opção de menu Abrir URL no menu Arquivo. Para bloquear completamente todo o tráfego on-line, recomendamos um firewall ou uma máquina virtual isolada.


Nós não marca a água dos nossos binários de forma alguma. Isto é parcialmente devido ao desejo de usar um processo de atualização simplificado que aproveite a infraestrutura CDN global para atualizações automáticas mais rápidas, mas parcialmente porque estamos ocupados tentando criar recursos que melhorem o produto.


Por favor, não pirata Binário Ninja - sabemos que estamos vendendo aos clientes mais do que capazes de quebrar nosso software, então não vamos tentar implementar mecanismos anti-pirataria excessivamente complicados (podemos recomendar crackmes. de para aqueles interessado nesse tipo de diversão). Em vez disso, pedimos que você nos apoie, incentivando os outros a comprar cópias se acharem útil.


Este site contém SHA256 hashes que você pode usar para verificar seus downloads. Além disso, nossos binários Mac OS e Windows são assinados digitalmente.


Não temos nenhuma recompensa de erro oficial neste momento. Nós planejamos lançar um em algum ponto, mas achamos que devemos executar AFL e libfuzzer-nos antes de abri-lo ao público.


Dito isto, estamos sempre agradecidos pelos relatórios de erros e incentivamos os relatórios de segurança a serem enviados via folga ou por e-mail.


Não neste momento, embora adorássemos fazer esse longo prazo. Como de costume, recomendamos o uso de camadas de segurança adicionais ao analisar os binários de outras pessoas, especialmente o malware. Uma licença nomeada inclui suporte para Windows, Linux e Mac OS, por isso é fácil executar Binário Ninja em uma VM para proteção adicional, mas ainda ativa nativamente em um sistema operacional diferente quando precisar.


Binário Ninja é feito pela Vector 35 LLC, uma empresa voltada para a construção de ferramentas de engenharia reversa, videogames e videogames construídos sobre ferramentas de engenharia reversa.


A resposta curta é não, não era. Nós lançamos uma versão única aberta de uma ferramenta interna privada. É um infeliz equívoco comum que ouvimos que Binário Ninja era um projeto de código aberto que foi posteriormente encerrado porque lançamos um protótipo público.


A verdade é que Binário Ninja era uma ferramenta privada de equipe de CTF interna que formamos o Vector 35 para construir um produto comercial. Ao fazer isso, queríamos devolver a comunidade o máximo que pudéssemos enquanto ainda fosse comercialmente viável, então uma versão única do protótipo de python anterior foi lançada sob o GPLv2.


O protótipo não compartilha código com a oferta comercial atual. Embora muitas das decisões de IU e as escolhas de design geral sejam realizadas, o protótipo é um produto distinto.


O protótipo de python foi uma prova precoce de conceito que fizemos de forma gratuita e aberta. Falta muitas das novas características de análise e polimento do produto comercial atual.


Não há problema, basta usar nossa página de recuperação de licença de autoatendimento. Se você não pode mais acessar seu endereço de e-mail original, entre em contato com o suporte.


Sim! Dirija-se ao nosso download de demonstração para experimentá-lo.


Só porque você coloca um ponto de interrogação nisso não faz uma pergunta. Ainda assim, queremos abordar qualquer comentário, e é por isso que temos a caixa de bate-papo incorporada flutuando na parte inferior desta página. Se estamos acordados e on-line, geralmente somos muito rápidos em responder, se não, basta deixar a sua pergunta junto com o seu e-mail e nós voltaremos para você. Ou, você pode entrar em nossa folga pública e perguntar lá, pois temos uma comunidade muito ativa lá.


Binário Ninja é trazido a você pelo Vector 35, um grupo de hackers que começou a fazer jogos e ferramentas de reversão. Ou talvez eles sejam desenvolvedores de jogos que ainda pensam que podem piratear? De qualquer forma, eles estão se divertindo fazendo isso.

Comments

Popular posts from this blog

Fórmula de delta de opção binária

Opções normais de compra de ações

Opção binária forex broker list