Wang Mandy Email & Phone Number

Wuhan, Hubei, China

Wuhan, Hubei, China

Sigma Checker Research (2021.10 - 2023.2)Responsibilities: Responsible for the selection of research libraries, completion of corresponding research work(the unsafe usage of various programming language frameworks’ APIs and configuration files’ configuration items that may cause vulnerabilities (such as sqli, xss, weak crypto, etc.)), output checker ideas. At the same time, responsible for the project team’s progress arrangement, and communication with colleagues in North America.Achievements: Completed research including Swift (core, alamofire, realm, moya, etc.), PHP (core, laravel, symfony, wordpress, drupal), Spring http, AKS, etc., implemented in SIGMA.Java FN/FP Hunting (2021.2 - 2021.9)Responsibilities: Responsible for the selection of hunting libraries and benchmarks, completion of hunting work and document output. At the same time, responsible for the team’s progress arrangement and communication work.Achievements: Completed hunting for spring mvc, spring webflux, spring data, play framework, summarized the reasons for missing and errors in modeling, and improved coverity’s accuracy.Security checker development (2018.8-2020.1)Responsibilities: Complete development work, including building models, writing test cases, etc. Responsible for the project team’s progress arrangement and communication with colleagues in North America.Achievements: Completed modeling and testing of popular java libraries (spring framework, rxjava, aws, google cloud, etc.), kotlin standard library, Android Framework, integrated into coverity.Compliance checker development (2017.6-2018.7)Responsibilities: Write corresponding test cases according to the rules of the standard and implement checker code. Review colleagues’ test cases and checker code and give feedback.Achievements: Participated in the implementation of language standards: misra, certc, cert c++, iso2013, autosar, integrated into coverity.

Wuhan, Hubei, China

AirPlay porting development (2014.7-2017.3) Project description: Push music from Apple products such as iphone, ipad, macbook to arm platform and play it. Project responsibilities: Responsible for AirPlay porting design, project progress control, work coordination between various related modules. Coding implementation, customer platform customization and document writing. Project achievements: AirPlay runs stably on the company’s platform. Customer AirPlay passed Apple’s certification.Social app development (2012.10 – 2014.3) Project description: 4 social apps: facebook, twitter, flicker, picasa are displayed and used on the company’s arm platform Project responsibilities: Responsible for the overall design of 4 apps, work coordination, progress control status and problem collection. Facebook coding implementation, customer platform customization and document writing. Project achievements: The development of 4 apps was successfully completed and later maintenance and customization were also smoothly supported to customer mass production.GStreamer porting (2012.2 – 2012.9) Project description: Porting open source GStreamer to the company’s android TV platform and replacing the existing playback module. Project responsibilities: Responsible for cross-compilation and running correctly on android platform; metadata decoding of audio and video files; subtitle decoding; acquisition and display. Project achievements: GStreamer successfully replaced the playback module that the company was using at that time.