ITmedia総合  >  キーワード一覧  > 

「ソースコード解析」最新記事一覧

いま求められるソフトウェア静的解析・動的解析 第2回:
いま求められるソフトウェア静的解析・動的解析 第2回:「根拠ある作業」のため「ソフトウェア解析」ができること
動的解析とは動作しているソフトウェアの動作を計測・測定することですが、大切なのは「その結果をどう利用するか」です。勘に頼った作業ではなく「根拠ある」作業のため、動的解析がどう利用できるのか解説します。(2016/6/20)

ミラクル・リナックス:
ルネサス「RZ/Gシリーズ」専用Linux OSの供給を今夏より開始
ミラクル・リナックスは、ルネサス エレクトロニクス「RZ/Gシリーズ」向け専用Linux OSの供給を今夏より開始すると発表。チューニングやカスタマイズ、最長15年の長期サポートも提供する。(2016/6/13)

「安全なオープンソース」を疑う
「オープンソース安全神話」信奉者が見なかったことにしたい“つらい現実”
オープンソースだから安全だと容易に判断してはならない。脅威が数多く見つかっている、オープンソースWebアプリケーションの注意点を説明しよう。(2016/6/13)

米シノプシスに聞く:
IoTデバイスのセキュリティを高める「UL CAP」とは
IoTシステムで使用される「ネットワークデバイス」の品質向上に向けた取り組みについて、米シノプシス ソフトウェアサプライチェーンマネジメント ソフトウェアインテグリティグループ グローバルマネジャー Joe Jarzombek氏に聞いた。(2016/6/17)

Androidセキュリティ技術の最前線(4):
Androidアプリマーケットを守る「不正アプリ抽出技術」総解説
Android端末のセキュリティ対策技術について解説する本連載。第4回は、アプリを流通させるための大規模なプラットフォームである「マーケット」の現状と、マーケットの分析から見えてくるセキュリティ・プライバシーの課題やその対策について解説する。(2016/6/7)

京都マイクロコンピュータ SOLID:
リアルタイムOSと開発環境を一体化したソフトウェア開発プラットフォーム
京都マイクロコンピュータは、組み込み用マイクロプロセッサ向け開発環境とリアルタイムOSを統合した一体型ソフトウェア開発プラットフォーム「SOLID」を発表した。(2016/6/3)

RTOSとClangコンパイラを一体化、準備から解析までの組み込み開発プラットフォーム
京都マイクロコンピュータが、組み込み用開発ツール群とRTOSを統合したソフトウェア開発プラットフォーム「SOLID」を発表。開発準備からデバッグまでを快適にこなせるツールとして訴求する。(2016/6/2)

セキュリティ・アディッショナルタイム(7):
「IoT機器のセキュリティ」実現に向けた各社のアプローチとは
先日開催された「Japan IT Week」の中で大きな比重を占めたテーマが「セキュリティ」、それもさまざまなものがつながるIoTの世界のセキュリティだ。IoTをめぐる脅威が指摘されるようになって久しいが、具体的にどのような対策が可能なのだろうか? セミナーや展示からそのヒントを探る。(2016/6/1)

ISO26262:
シノプシスが機能安全と車載セキュリティを重視、「Coverity」をISO26262に準拠
Synopsys(シノプシス)は、同社のソフトウェアインテグリティソリューションの基幹ツールである「Coverity」と「Test Advisor」について、自動車向け機能安全規格のISO 26262と一般産業機器向け機能安全規格のIEC 61508に準拠したシステムの開発に適用できるという第三者認証を取得したと発表した。(2016/5/30)

メルマガバックナンバー:
モノづくり総合版 メールマガジン 2016/05/26
「EE Times Japan」「EDN Japan」「MONOist」編集部が毎週木曜日にお届けしている『モノづくり総合版 メールマガジン』の内容をご紹介!(メルマガ配信日:2016年5月26日)(2016/5/27)

企業動向:
京都マイクロコンピュータ、100%出資子会社を設立
京都マイクロコンピュータ(KMC)は100%出資子会社として、株式会社KMGを2016年4月1日に設立したことを発表した。(2016/5/25)

日本ノーベル Quality Commander:
カーナビとスマホの連携操作を1台のロボットで! テスト自動化システム新版
日本ノーベルは、カーナビやスマホといった組み込み機器のソフトウェアテストを自動化する「Quality Commanderシリーズ」の最新版、「Quality Commander 7」の販売を2016年7月1日から開始する。(2016/5/23)

いま求められるソフトウェア静的解析・動的解析 第1回:
組み込みソフトウェア開発者に贈る「静的解析・動的解析」の必要性
組み込みソフトウェア開発における「静的解析」「動的解析」を、“なんとなく”行っていないでしょうか。開発効率の向上や品質改善に欠かせないこれらを活用するため、まずはその必要性について解説します。(2016/5/20)

特選ブックレットガイド:
【連載まとめ読み】「mbed」を使ってARMマイコン開発を始めよう!
環境構築からデバイスの使いこなしまで、マイコン開発のイロハを解説。(2016/5/19)

アドバンテック ARMスターターキット:
「10分でARMの世界へ」――ARMアーキテクチャでの製品開発を支援する開発キット
アドバンテックは、ハードウェア設定からアプリケーション検証開始までわずか10分で実施できる、組み込み開発者向け「ARMスターターキット」を発表した。(2016/5/19)

イノテック SX-8030:
Xeon E3/第6世代Coreプロセッサ搭載の組み込み向け小型CPUボード
イノテックは、インテルのXeon E3/第6世代Coreプロセッサファミリーを搭載した小型サイズのCPUボード「SX-8030」を開発したことを発表した。(2016/5/18)

ESEC2016:
「Simulink」を用いたメニーコア向けの開発支援並列化ツール
イーソルがマルチコア/メニーコア環境向けのソフトウェア開発を支援する、モデルベース並列化ツール「eSOL MBP(仮)」を開発した。MathWorks「Simulink」で設計された制御モデルから生成されるCソースコードを並列化できる。(2016/5/16)

イーソル eSOL MBP:
「Simulink」を利用してCソースコードや制御アルゴリズムの並列化を実現
イーソルは、マルチ・メニーコアハードウェア環境向けのソフトウェア開発を支援する、モデルベース並列化ツール「eSOL MBP(仮称)」のプロトタイプを開発したことを発表した。(2016/5/12)

テクマトリックス C++test/Parasoft DTP:
C/C++対応テストツールとソフト開発・テスト管理基盤の新版をリリース
テクマトリックスは、ParasoftのC/C++言語対応テストツール「C++test」とソフトウェア開発・テスト管理プラットフォーム「Parasoft DTP」の新バージョンを発表した。(2016/5/9)

Androidセキュリティ技術の最前線(3):
不正Androidアプリの大量生産はどうすれば防げるのか
Androidアプリをめぐるセキュリティ対策技術について解説する本連載。第3回は、不正アプリが生み出される仕組みとそれを妨害するための対策について解説する。(2016/4/27)

キヤノンITSがマルウェア解析サービス、ランサムウェアなど被害増加も
マルウェアの特徴や感染時の復旧のアドバイスなどを提供する。(2016/4/27)

PR:高品質と開発スピードの "二兎を得る" ソフトウェアテストへの新アプローチ
ソフトウェア開発における理想は「速度を落とさず高品質な開発」だが、その実現は困難だ。有効な施策は「早期バグの検出と効率的なテスト実施」「客観的な定量分析」であり、これらの実現を容易にするのがテクマトリックスの「C++test」と「Parasoft DTP」だ。(2016/4/20)

PR:なぜ組み込み開発には有償ツールなのか?IARシステムズに聞く市場変化とツールの進化
オープンソースの多様化や半導体メーカー提供の無償ツールの充実もありながら、有償(商用)ツールメーカーへの顧客ニーズは高まっているという声がある。「IAR Embedded Workbench 」を提供するIARシステムズ株式会社によれば、その背景には「組み込み開発ソフトウェアに求められる要件の変化」と「ツールの進化」が存在するという。(2016/4/20)

人工知能が99%の脅威を入り口で検出し、セキュリティ対策全体のコストを削減:
PR:PCセキュリティにも訪れる“人工知能”の時代
シグネチャベースの対策では侵入を防げない―――そんな事実を前に、事後対策への注目がにわかに高まっている。だが、事前の防止策は本当に“限界”を迎えているのだろうか? 人工知能を活用して未知の脅威を高い精度で検出する新たなエンドポイントセキュリティ製品を、デルが提供している。(2016/4/13)

Google、「Android Studio 2.0」正式版リリース 3倍高速に
GoogleがAndroidアプリ向け統合開発環境(IDE)の「Android Studio 2.0」の正式版をリリースした。コードの書き換えをすぐに確認できる「Instant Run」やクラウド経由のテスト環境「Cloud Test Lab」などの新機能が追加された。また、エミュレータの速度は3倍速くなったとしている。(2016/4/11)

ホワイトペーパー:
検知回避を備えるマルウェアをどう防ぐ? 連携防御で守る最新標的型攻撃対策
最新のマルウェアはセキュリティ製品の検知を回避する工夫が仕掛けられている。また、特定の組織やユーザーを標的にするため、マルウェアの使用範囲が限定的で、サンプルが広く共有されづらい。巧妙化するマルウェアから企業を守るためには、既存のセキュリティ資産と最新テクノロジーによる連携防御が必要だ。(2016/4/4)

「共有」と「自動化」が鍵に:
PR:対応のスピード化や現場の人材不足を解消する「脅威対策ライフサイクル」とは?
高度化する脅威にセキュリティ対策の現場は、限られた人材や予算で対応せざるを得ず、膨大な作業量と有事対応の長期化という課題を抱える。インテル セキュリティは、そうした課題を抱える組織が効率的で迅速な対応によって、継続的にセキュリティを強化していくための方法を提案する。そのアプローチはどのようなものか。(2016/4/11)

Lattice Semiconductor Lattice Diamond:
ラティス製FPGAの性能を強化するFPGA用設計ツール
ラティスセミコンダクターは、FPGA用設計ツール「Lattice Diamond」のバージョン3.7を公開した。(2016/3/28)

MathWorks MATLAB/Simulink:
モデルベース開発環境の最新版「Release 2016a」登場
MathWorks Japanは、同社モデルベース開発環境「MATLAB/Simulink」の最新版「Release 2016a」を発表した。(2016/3/28)

Androidセキュリティ技術の最前線(2):
Androidアプリの「マルウェア判定」「脆弱性検知」技術
Android端末のセキュリティ対策技術について解説する本連載。第2回はアプリの配布パッケージの概要と、アプリが「マルウェアでないか」および「脆弱性がないか」を判定する技術を紹介する。(2016/3/28)

「@ITセキュリティセミナー(東京)」レポート2016:
すご腕バグハンターたちが報奨金制度運営者と本音トーク
@IT編集部は2016年2月26日、東京青山にて「@ITセキュリティセミナー」を開催した。本稿ではそのダイジェスト(後編)をお届けする。(2016/3/24)

Dev Basics/Keyword:
Android Studio(Androidアプリ開発環境)
Android StudioはIntelliJ IDEA Community EditionをベースにしたAndroidアプリ開発用のグーグル公式IDEだ(2016/3/24)

「3つのテーマ」で強化された「MATLAB/Simulink 2016a」
MathWorks Japanがモデルベース開発環境「MATLAB/Simulink」の最新版「Release 2016a」を発表した。新ツールの搭載などで「シンプル」「完全」「高速」を推進している。(2016/3/22)

モルフォ PhotoSolid:
累計搭載本数15億! 主力スマホに選ばれる画像処理ソフトウェア
モルフォは、同社の画像処理ソフトウェアの搭載本数の累計が2016年1月末時点で15億ライセンスを突破したことを発表。今後もさらなる事業拡大を計画しているという。(2016/3/16)

MacやiOSだけでなくWindows、Linuxのアプリ開発も可能
Appleの開発言語「Swift」の人気が急上昇している理由
2015年12月にオープンソース化し、人気も上昇中のAppleの開発言語「Swift」。Objective-Cと比較しながら、その理由について探る。(2016/3/16)

特選ブックレットガイド:
「状態遷移表」を使うと高品質な開発が可能に!
組み込みソフトウェア開発の課題解決に「状態遷移表」を活用しよう。(2016/3/11)

スイッチサイエンス Rapiro:
ロボット制御教育に最適な「Rapiro」の基板CADデータを無償公開
スイッチサイエンスは、ロボットキット「Rapiro(ラピロ)」に付属する2種類の基板のCADデータと「Rapiro用Raspberry Pi 2 Model B対応アタッチメント」のSTLデータを無償公開した。(2016/3/4)

マイクロソフト Windows 10 IoT Core:
IoTデバイス向けOSのラズパイ3対応を表明
米Microsoftは、IoTデイバイス向けOS「Windows 10 IoT Core」のRaspberry Pi 3対応を表明した。(2016/3/4)

アールエスコンポーネンツ Raspberry Pi:
従来比で50%性能アップした64bit対応「Raspberry Pi」発売へ
アールエスコンポーネンツは「Raspberry Pi 3 Model B」の取り扱いを近日より開始すると発表した。(2016/3/1)

ARM DS-5 Development Studio:
MISRAのツールを「DS-5」に統合、安全性・信頼性の必要なARM搭載製品の開発に
ARMはソフトウェア開発ツール「ARM DS-5 Development Studio」に、コーディングガイドライン「MISRA」のツールを統合。安全の確保が必要となるARM搭載製品に最適なソフトウェア開発プラットフォームとして提供していく。(2016/2/26)

IARシステムズ EWARM-RS:
「IAR Embedded Workbench」をルネサスのIoT機器向け設計プラットフォームに提供
IARシステムズは、ルネサス エレクトロニクスのIoT機器向け設計基盤「Renesas Synergyプラットフォーム」に向け、同社統合開発環境「IAR Embedded Workbench」を「EWARM-RS」の名称で提供する。(2016/2/26)

「サンドボックス」にまつわる疑問を解く【最終回】
「サンドボックス万能説」を揺るがす3つの課題、その解決策とは?
今までのサンドボックス製品が抱えていた課題は、製品の進化や他製品との連係によって解消が進む可能性がある。具体的な解決策を見ていこう。(2016/2/24)

IARシステムズ IAR Embedded Workbench:
ルネサスのグラフィックスライブラリをサポートした「IAR Embedded Workbench for RH850」
IARシステムズは、統合開発環境「IAR Embedded Workbench for RH850」がルネサス エレクトロニクスのグラフィックスライブラリをサポートしたと発表。自動車用制御マイコン「RH850/D1L」と「RH850/D1Mシリーズ」に対応する。(2016/2/23)

The Linux Foundation RTOS:
IoTデバイス向けRTOS開発「Zephyr Project」始動、インテルやNXPなども支持
The Linux Foundationは、IoT(Internet of Things)デバイス向けリアルタイムOSを開発するオープンソース協業プロジェクト「Zephyr Project」を発表した。(2016/2/19)

解析ツールを「育成ツール」の視点で、JVCケンウッドの組み込み設計改革
組み込みソフトはチームでの開発が主となっているが、その際に問題となるのが、メンバー間のスキル差だ。「静的解析ツールが開発チームを活性化する」そう紹介するJVCケンウッドの阿部博己氏が語る、組み込み設計改革とは。(2016/2/19)

ローム SensorShield-EVK-001:
最大8つのセンサーを搭載できるArduino/mbed対応のセンサーシールド
ロームは、最大8種類の情報を測定できるセンサーシールド「SensorShield-EVK-001」を発表。ArduinoやLazurite、mbedなどに対応する。(2016/2/17)

セキュリティ業界、1440度(18):
「車載セキュリティ」研究の最前線――「2016年 暗号と情報セキュリティシンポジウム(SCIS2016)」レポート
2016年1月19日から22日にかけて開催された「2016年 暗号と情報セキュリティシンポジウム(SCIS2016)」の中から、「車載セキュリティ」関連の発表をピックアップして紹介します。(2016/2/17)

マクニカ Mpression Sodia:
SoC FPGA開発を支援する「Cyclone V SoC」評価ボード
マクニカは、「Mpression」ブランドの新製品として、アルテラの「Cyclone V SoC」を搭載した評価ボード「Mpression Sodia」の販売を開始する。(2016/2/15)

メンター・グラフィックス Mentor Embedded Linux:
Yocto 2.0対応「Mentor Embedded Linux」発表、産業機器向け機能を強化
メンター・グラフィックスは、Yocto Project 2.0に対応し、セキュリティの強化や産業機器向けプロトコルのサポートが追加された「Mentor Embedded Linux」の最新版を発表。(2016/2/12)

タブレイン 3GIM V2.0(NEO):
IoTデバイス開発に役立つ「世界最小クラス」の3G通信モジュール
タブレインは、Arduino互換機やRaspberry Pi、mbedなどで動作する3G通信モジュールを2016年2月中旬より販売開始する。(2016/2/9)



7月29日で無料アップグレード期間が終了する、Microsoftの最新OS。とんでもないレベルで普及している自社の基幹製品を無料でアップグレードさせるというビジネス上の決断が、今後の同社の経営にどのような影響をもたらすのか、その行方にも興味が尽きない。

ドイツ政府が中心となって推進する「第四次産業革命」。製造業におけるインターネット活用、スマート化を志向するもので、Internet of Things、Industrial Internetなど名前はさまざまだが、各国で類似のビジョンの実現を目指した動きが活発化している。

資金繰りが差し迫る中、台湾の鴻海精密工業による買収で決着がついた。寂しい話ではあるが、リソースとして鴻海の生産能力・規模を得ることで、特にグローバルで今後どのような巻き返しがあるのか、明るい話題にも期待したい。