關於 static program analysis ，我們在網路上蒐集到這些相關的討論、資訊與評價

朋友問我有沒有可能找到程式中不會被執行到的 code, 有沒有工具可以支援.

基本上這樣的程式碼, 我們稱之為 unreachable code. 你可在這邊找到一些定義.
https://en.wikipedia.org/wiki/Unreachable_code

DZone 也有文章討論
https://dzone.com/articles/you-have-no-excuse-for-your-dead-code

那有沒有工具可以支援呢? 有些 compiler 本身可以幫忙找出一些. 例如: visual studio 對於 unreachable code 會有些 warning.
https://docs.microsoft.com/en-us/visualstudio/ide/reference/remove-unreachable-code?view=vs-2019

Stackoverflow 上也有人在討論
https://stackoverflow.com/questions/1706114/open-source-tool-to-find-unreachable-unused-c-sharp-code

Uber 也有這方面的一些處理經驗
https://www.infoq.com/news/2020/04/uber-piranha-unreachable-code/

不知大家有沒有這樣的經驗? 以及是否有好的工具可以提供?

個人覺得這些 static analysis tool 應該無法抓全部, 以及是否所有找到的都準, 應該是個大問號

Posture และ Dynamic Balance

ตั้งแต่ทำอาชีพนี้มา เราพบว่า หลายๆคนมองข้ามเรื่อง Posture ทำให้เกิดอาการ ปวดหลัง เจ็บเข่า เจ็บไหล่ และ Office Syndrome ทั้งๆที่ออกกำลังกาย

ปัญหาเกิดขึ้นเพราะ ปัญหาเหล่านี้ มันมองไม่เห็น เราเลยต้องใช้เครื่องมือ มาช่วย ทำให้นักเรียน เห็นภาพ มากขึ้น

สำหรับ IsoFree สิ่งที่ใช้หลักๆคือการทำ Dynamic Movement Analysis
ซึ่งละเอียดกว่าการวัด Posture ปกติ เพราะใช้ Pressure Plate ในการจับน้ำหนักในการลงเท้า และการทรงตัวของนักเรียน

และใช้ 3D + Infrared Camera ช่วยในการจับการเคลื่อนไหวของแต่ละข้อต่อ ณ วันที่อบรม เราได้เห็นเลยว่า เครื่องนี้สามารถนำไปใช้เพื่อต่อยอดการ Training ได้หลายแบบมาก

#Strength Training
เช่นให้นักเรียน Squat ให้ดู และวิเคราะห์ Movement Quality
ทั้งเรื่องการส่งแรงจากเท้าสองข้าง เท่ากันไหม
ลำตัว ถ่ายน้ำหนักไปด้านหน้า หรือด้านหลัง

ทำให้นักเรียนออกกำลังกายถูกวิธีและเห็นภาพการเคลื่อนไหวของตัวเอง มี Statistics

#Corrective Training
วิเคราะห์กล้ามเนื้อที่ตึง หรือการลงน้ำหนักที่ผิด
เช่นคนที่ยืนตัวเอียง และปวดหลังข้างเดียว เราสามารถใช้วัด เพื่อวิเคราะห์ว่าเกิดจากข้อต่อไหน

ทำให้นักเรียนเห็นจุดบกพร่องที่ควรแก้ และแก้ไขอาการต่างๆได้ (ต้องบริหาร นวด ยืด ตาม Program)

- ปวดหลัง
- ปวดเข่า
- ปวดไหล่
- ปวดข้อมือ

#Everyday Life
คนที่มีปัญหาด้านการทรงตัว (มักจะปวดหลัง หรือเข่า เพราะมีปัญหาการวางน้ำหนัก) เราสามารถใช้เครื่องนี้ แสดงผลให้นักเรียนดู ได้แบบ Real Time
นักเรียนจะเห็นทันที และร้อง "อ๋อ!" เพราะจะเห็นว่าความผิดปกติ เกิดขึ้นจากตรงไหน

แต่ทั้งหมด ก็ขึ้นอยู่กับโค้ช และเทรนเนอร์ ว่าจะนำข้อมูลไปตีความ และจัดตารางให้นักเรียนได้อย่างไร

ซึ่งการวิเคราะห์ร่างกายด้วยตาเปล่า เช่นการทำ Static Postural Assessment ยังไงก็ต้องทำควบคู่กันไปครับ

--------
สมัครเรียน ที่ Fitjunctions EduGym
ให้ผม และทีมงาน วิเคราะห์ Posture และพฤติกรรม เพื่อจัดตารางแบบ Customized

สาขา MRT รัชดา (อาคารสวนลุม ไนท์บาซ่า)

เปิดอย่างเป็นทางการ 28 กพ นี้
ช่วงนี้ Pre Sale Promotion
รับจำนวนจำกัดครับ

สมัครเรียน สอบถามข้อมูลเพิ่มเติม
Line @fitjunctions (มีตัว @ นำหน้า)
หรือโทร 0918736066

［徵才］Mentor Graphics 愛爾蘭商明導國際(股)公司台灣分公司

公司網站 http://www.mentorg.com.tw/company/

Position: Associate Applications Engineer - DVT
Location: HsinChu, Taiwan

Job Description:
Mentor Graphics is a global technology leader in Electronic Design Automation, providing software and hardware design solutions that help engineers around the world innovate. Each year, our customers use tools of Mentor Graphics to push the boundaries of technology to deliver smaller, faster and more reliable products. They trust us with their technologies, we trust you to make them better.
In this position, you will be involved in a structured Associate Application Engineer Training Program. This is a fast-track training program that challenges you to develop the expertise needed to solve difficult technical problems. Associate Application Engineers are members of a team of highly motivated individuals working with customers designing the most complex hardware and software systems in the world and whose applications span the electronics industry. This training program will give you unique insight into our sales organization. Upon successful completion of the training program, you will be eligible to advance into Field Application Engineer position.

Job Qualification
1 year (or less) experience (in school) related with register-transfer-level (RTL) digital logic design, functional verification methodology, FPGA, ESL, and emulation is a plus.
* Verilog HDL simulation, verification methodology and language such as System Verilog, UVM, OVM, & SVA as a must
* IP level verification experience is a must
* Full chip level verification experience is a plus
* UPF Power & Power aware simulation related experience as a plus
* Static verification experience such as CDC, and Formal as a plus
* Testbench Automation, and coverage-driven verification
* Simulation acceleration & emulation as a plus
* ESL architectural design & virtual platform as a plus
* Communicate effectively in verbal and written form in English
* Build strong rapport and credibility with customer organizations while maintaining a company internal network of contacts
* With strong communications and interpersonal skills
Desirable Qualifications:
* System Verilog, OVM, UVM, SVA
* SystemC, C/C++, Tcl/TK, PERL
* Synthesis, SDC and static timing analysis as a plus Bachelor degree in EE and related field required.
* Strong written and oral communications in the English language is a plus


Contact Window: Sophie Wu 伍芳萱 l Human Resources
DID: +886-3-513-1091 l sophie_wu@mentor.com l Mentor Graphics明導國際