Anzhela Sukhanova (@AnzhelaSukhanova)
github

AnzhelaSukhanova

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,193,538 (Top 42 %)
  • Followers 12
  • Following 12
  • Registered over 7 years ago
  • Most used languages
    Python
         50.0 %
    C
         50.0 %
  • Location 🇨🇾 Cyprus
  • Country Total Rank 14,734
  • Country Ranking
    C
         48
    Python
         144

Top repositories

1

HornFuzz

CHC solver fuzzer
Python
3
star
2

QE-expPA

Implementation of quantifier elimination for bit vector arithmetic based on elimination of quantifiers for Presburger arithmetic expanded by function 2^x (in progress).
C
2
star
3

simple-TCP-IP

The implementation of a simple TCP/IP stack in an userspace on TAP with support for ARP, IP and ICMP.
C
1
star
4

Simple_DNS-server

Simple DNS-server (53/UDP) in Python using dnslib
Python
1
star